1996-12-16 wenzelm [Mon, 16 Dec 1996 10:01:40 +0100] rev 2403
fixed comment;
src/Pure/library.ML

1996-12-16 wenzelm [Mon, 16 Dec 1996 10:01:17 +0100] rev 2402
fixed comments;
src/Pure/basis.ML

1996-12-16 wenzelm [Mon, 16 Dec 1996 10:00:08 +0100] rev 2401
now passes ML_SYSTEM as ml_system;
src/Pure/mk

1996-12-16 wenzelm [Mon, 16 Dec 1996 09:59:18 +0100] rev 2400
added symbolinput filter;
lib/scripts/run-polyml

1996-12-16 wenzelm [Mon, 16 Dec 1996 09:58:16 +0100] rev 2399
symbolinput - translate symbols into \<...> sequences;
lib/Tools/symbolinput

1996-12-16 wenzelm [Mon, 16 Dec 1996 09:57:34 +0100] rev 2398
renamed to symbolinput.pl;
lib/scripts/symbol_input.pl

1996-12-16 wenzelm [Mon, 16 Dec 1996 09:57:18 +0100] rev 2397
renamed from symbol_input.pl;
lib/scripts/symbolinput.pl

1996-12-16 wenzelm [Mon, 16 Dec 1996 09:56:28 +0100] rev 2396
minor tuning;
lib/scripts/run-smlnj

1996-12-16 wenzelm [Mon, 16 Dec 1996 09:53:30 +0100] rev 2395
now fails if getsettings not found;
bin/isabelle bin/isatool

1996-12-13 oheimb [Fri, 13 Dec 1996 18:45:58 +0100] rev 2394
adaptions for symbol font
src/HOLCF/Cfun1.thy src/HOLCF/Cprod3.thy src/HOLCF/Lift1.thy src/HOLCF/Pcpo.ML src/HOLCF/Pcpo.thy src/HOLCF/Porder.thy src/HOLCF/Porder0.thy src/HOLCF/README.html src/HOLCF/ROOT.ML src/HOLCF/Sprod0.thy src/HOLCF/Sprod3.thy src/HOLCF/Ssum0.thy src/HOLCF/Ssum3.thy src/HOLCF/Tr1.thy src/HOLCF/Up3.thy