1997-03-04 paulson [Tue, 04 Mar 1997 10:19:38 +0100] rev 2714
Removed needless quotes
src/FOLP/IFOLP.thy

1997-03-03 wenzelm [Mon, 03 Mar 1997 18:26:33 +0100] rev 2713
removed bash debug;
lib/scripts/isa-xterm

1997-03-03 wenzelm [Mon, 03 Mar 1997 18:25:17 +0100] rev 2712
removed -r option;
added -p option;
lib/scripts/isa-xterm

1997-03-03 wenzelm [Mon, 03 Mar 1997 18:24:34 +0100] rev 2711
fixed -m order;
bin/isabelle

1997-03-03 wenzelm [Mon, 03 Mar 1997 14:14:04 +0100] rev 2710
improved xterm, xterm_color;
src/Pure/Syntax/token_trans.ML

1997-03-03 wenzelm [Mon, 03 Mar 1997 13:53:29 +0100] rev 2709
added comment;
src/CCL/Term.thy

1997-03-03 wenzelm [Mon, 03 Mar 1997 13:50:40 +0100] rev 2708
added comment: print translations do not mark tokens;
src/HOL/Hoare/Hoare.thy

1997-03-01 wenzelm [Sat, 01 Mar 1997 20:09:50 +0100] rev 2707
added color styles;
refs for test;
src/Pure/Syntax/token_trans.ML

1997-02-28 wenzelm [Fri, 28 Feb 1997 21:54:37 +0100] rev 2706
improved err msg;
src/Pure/Syntax/syntax.ML

1997-02-28 wenzelm [Fri, 28 Feb 1997 16:58:42 +0100] rev 2705
*** empty log message ***
NEWS