isabelle: Changelog

wenzelm [Tue, 15 Jan 2002 00:08:51 +0100] rev 12755

removed case_numbers (already covered by default);

wenzelm [Tue, 15 Jan 2002 00:08:11 +0100] rev 12754

Isar: undeclared rule case names default to numbers 1, 2, 3, ...;

wenzelm [Mon, 14 Jan 2002 17:45:30 +0100] rev 12753

* system: reduced base memory usage by Poly/ML (approx. 20 MB instead of 40 MB), cf. ML_OPTIONS;

wenzelm [Mon, 14 Jan 2002 17:43:44 +0100] rev 12752

ML_OPTIONS="-h 15000" (used to be 30000);

wenzelm [Mon, 14 Jan 2002 17:31:45 +0100] rev 12751

updated;

wenzelm [Mon, 14 Jan 2002 17:31:42 +0100] rev 12750

tuned;

wenzelm [Mon, 14 Jan 2002 17:29:25 +0100] rev 12749

updated;

wenzelm [Mon, 14 Jan 2002 17:29:12 +0100] rev 12748

tuned;

wenzelm [Mon, 14 Jan 2002 17:23:40 +0100] rev 12747

updated;

wenzelm [Mon, 14 Jan 2002 17:23:35 +0100] rev 12746

tuned;

isabelle