isabelle: Changelog

paulson [Tue, 04 Mar 1997 10:21:16 +0100] rev 2715

Updated reference to Pelletier erratum

paulson [Tue, 04 Mar 1997 10:19:38 +0100] rev 2714

Removed needless quotes

wenzelm [Mon, 03 Mar 1997 18:26:33 +0100] rev 2713

removed bash debug;

wenzelm [Mon, 03 Mar 1997 18:25:17 +0100] rev 2712

removed -r option; added -p option;

wenzelm [Mon, 03 Mar 1997 18:24:34 +0100] rev 2711

fixed -m order;

wenzelm [Mon, 03 Mar 1997 14:14:04 +0100] rev 2710

improved xterm, xterm_color;

wenzelm [Mon, 03 Mar 1997 13:53:29 +0100] rev 2709

added comment;

wenzelm [Mon, 03 Mar 1997 13:50:40 +0100] rev 2708

added comment: print translations do not mark tokens;

wenzelm [Sat, 01 Mar 1997 20:09:50 +0100] rev 2707

added color styles; refs for test;

wenzelm [Fri, 28 Feb 1997 21:54:37 +0100] rev 2706

improved err msg;

isabelle