haftmann [Wed, 21 Jan 2009 16:47:03 +0100] rev 29578
refined witness algebra
haftmann [Wed, 21 Jan 2009 16:47:03 +0100] rev 29577
code cleanup
haftmann [Wed, 21 Jan 2009 16:47:03 +0100] rev 29576
wrecked old locale package and related modules
haftmann [Wed, 21 Jan 2009 16:47:02 +0100] rev 29575
improved and corrected reading of class specs -- still draft version
haftmann [Wed, 21 Jan 2009 16:47:01 +0100] rev 29574
tuned
wenzelm [Tue, 20 Jan 2009 19:09:19 +0100] rev 29573
tuned;
wenzelm [Tue, 20 Jan 2009 18:08:31 +0100] rev 29572
replaced java.util.Properties by plain association list;
added parse_message;
wenzelm [Tue, 20 Jan 2009 18:06:56 +0100] rev 29571
replaced java.util.Properties by plain association list;
tuned;
wenzelm [Tue, 20 Jan 2009 18:05:21 +0100] rev 29570
IsabelleSystem: provide Symbol.Interpretation;
wenzelm [Tue, 20 Jan 2009 18:04:37 +0100] rev 29569
more general init of Symbol.Interpretation, independent of IsabelleSystem instance;
wenzelm [Mon, 19 Jan 2009 23:40:29 +0100] rev 29568
more robust handling of quick_and_dirty;
ballarin [Mon, 19 Jan 2009 21:20:18 +0100] rev 29567
Merged, overriding earlier fix.
ballarin [Mon, 19 Jan 2009 20:37:08 +0100] rev 29566
Fixed tutorial to compile with new locales; grammar of new locale commands.
wenzelm [Mon, 19 Jan 2009 20:05:41 +0100] rev 29565
removed Ids;
wenzelm [Mon, 19 Jan 2009 19:38:03 +0100] rev 29564
removed Ids;