isabelle: Changelog

paulson [Thu, 21 Nov 1996 15:12:39 +0100] rev 2213

Further comments on versions of SML/NJ

nipkow [Wed, 20 Nov 1996 10:32:58 +0100] rev 2212

plus -> Plus to avoid hiding class plus

wenzelm [Tue, 19 Nov 1996 14:20:02 +0100] rev 2211

restored changed prettyprinting of ==>;

wenzelm [Tue, 19 Nov 1996 13:21:28 +0100] rev 2210

removed old commented out text;

wenzelm [Tue, 19 Nov 1996 13:21:02 +0100] rev 2209

minor tuning;

wenzelm [Tue, 19 Nov 1996 13:20:38 +0100] rev 2208

tuned some char names;

wenzelm [Tue, 19 Nov 1996 13:04:07 +0100] rev 2207

added this file;

wenzelm [Tue, 19 Nov 1996 13:03:35 +0100] rev 2206

added add_modesyntax(_i);

wenzelm [Mon, 18 Nov 1996 17:33:35 +0100] rev 2205

added symbolfont syntax;

wenzelm [Mon, 18 Nov 1996 17:32:38 +0100] rev 2204

improved string scanner: converts 8 bit chars to escape sequences;

isabelle