2000-04-01 wenzelm [Sat, 01 Apr 2000 20:21:39 +0200] rev 8657
recdef: admit names/atts;
doc-src/IsarRef/hol.tex src/HOL/Tools/recdef_package.ML src/HOL/thy_syntax.ML

2000-04-01 wenzelm [Sat, 01 Apr 2000 20:18:52 +0200] rev 8656
isatool document: tuned -c option;
doc-src/System/present.tex

2000-04-01 wenzelm [Sat, 01 Apr 2000 20:17:51 +0200] rev 8655
recdef: admit name and atts;
NEWS

2000-04-01 wenzelm [Sat, 01 Apr 2000 20:16:56 +0200] rev 8654
tuned -c option;
lib/Tools/document

2000-04-01 wenzelm [Sat, 01 Apr 2000 20:15:55 +0200] rev 8653
recover: observe stopper;
src/Pure/General/scan.ML

2000-04-01 wenzelm [Sat, 01 Apr 2000 20:13:33 +0200] rev 8652
presentation ignore stuff: swallow newline;
src/Pure/Isar/outer_syntax.ML

2000-04-01 wenzelm [Sat, 01 Apr 2000 20:12:52 +0200] rev 8651
added is_newline;
src/Pure/Isar/outer_lex.ML

2000-04-01 wenzelm [Sat, 01 Apr 2000 20:12:15 +0200] rev 8650
'cd': diag;
src/Pure/Isar/isar_syn.ML

2000-04-01 wenzelm [Sat, 01 Apr 2000 20:11:50 +0200] rev 8649
more robust handling of explicit rules;
src/Pure/Isar/calculation.ML

2000-04-01 wenzelm [Sat, 01 Apr 2000 20:10:57 +0200] rev 8648
tuned mixfix syntax;
src/Pure/Isar/outer_parse.ML