1997-10-10 wenzelm [Fri, 10 Oct 1997 15:50:46 +0200] rev 3832
fixed space_explode, old one retained as BAD_space_explode;
added split_lines;
src/Pure/library.ML

1997-10-10 wenzelm [Fri, 10 Oct 1997 15:48:43 +0200] rev 3831
scan_longid moved to Syntax/lexicon.ML;
src/Pure/Thy/thy_scan.ML

1997-10-10 wenzelm [Fri, 10 Oct 1997 15:48:10 +0200] rev 3830
constify: qualified is const;
src/Pure/Syntax/syntax.ML

1997-10-10 wenzelm [Fri, 10 Oct 1997 15:47:41 +0200] rev 3829
added longid syntax;
src/Pure/Syntax/mixfix.ML src/Pure/Syntax/type_ext.ML

1997-10-10 wenzelm [Fri, 10 Oct 1997 15:46:50 +0200] rev 3828
added longid;
src/Pure/Syntax/lexicon.ML

1997-10-10 wenzelm [Fri, 10 Oct 1997 15:44:48 +0200] rev 3827
decode: qualified is always const;
src/Pure/type.ML

1997-10-10 wenzelm [Fri, 10 Oct 1997 14:51:58 +0200] rev 3826
tuned;
lib/Tools/fixdots lib/scripts/fixdots.pl

1997-10-09 wenzelm [Thu, 09 Oct 1997 18:01:27 +0200] rev 3825
\n at end;
lib/Tools/fixdots

1997-10-09 wenzelm [Thu, 09 Oct 1997 17:45:03 +0200] rev 3824
ensure that dots in formulas are followed by non-idents;
lib/Tools/fixdots lib/scripts/fixdots.pl

1997-10-09 wenzelm [Thu, 09 Oct 1997 17:20:15 +0200] rev 3823
*** empty log message ***
src/HOL/TLA/Buffer/ROOT.ML src/HOL/TLA/Inc/ROOT.ML src/HOL/TLA/Memory/ROOT.ML