wenzelm [Thu, 17 Jun 2004 14:27:01 +0200] rev 14962
fixed 'requires' comments, which are needed for printing of drafts;
wenzelm [Thu, 17 Jun 2004 14:26:43 +0200] rev 14961
isub/isup quasi letter (again); tuned;
wenzelm [Thu, 17 Jun 2004 14:26:24 +0200] rev 14960
tuned;
schirmer [Thu, 17 Jun 2004 14:24:43 +0200] rev 14959
tuned
wenzelm [Wed, 16 Jun 2004 20:42:22 +0200] rev 14958
isatool_document: writeln output;
wenzelm [Wed, 16 Jun 2004 20:37:29 +0200] rev 14957
tuned document;
wenzelm [Wed, 16 Jun 2004 20:37:14 +0200] rev 14956
prevent looping of error messages involving malformed symbols;
wenzelm [Wed, 16 Jun 2004 20:37:00 +0200] rev 14955
tuned;
wenzelm [Wed, 16 Jun 2004 20:36:43 +0200] rev 14954
removed unused help function;
paulson [Wed, 16 Jun 2004 14:56:58 +0200] rev 14953
new fib example