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;
wenzelm [Mon, 19 Jan 2009 16:03:04 +0100] rev 29563
intern names of elements and attributes;
haftmann [Mon, 19 Jan 2009 13:38:59 +0100] rev 29562
merged