| Tue, 20 Jan 2009 18:06:56 +0100 | wenzelm | replaced java.util.Properties by plain association list; | changeset | files |
| Tue, 20 Jan 2009 18:05:21 +0100 | wenzelm | IsabelleSystem: provide Symbol.Interpretation; | changeset | files |
| Tue, 20 Jan 2009 18:04:37 +0100 | wenzelm | more general init of Symbol.Interpretation, independent of IsabelleSystem instance; | changeset | files |
| Mon, 19 Jan 2009 23:40:29 +0100 | wenzelm | more robust handling of quick_and_dirty; | changeset | files |
| Mon, 19 Jan 2009 21:20:18 +0100 | ballarin | Merged, overriding earlier fix. | changeset | files |
| Mon, 19 Jan 2009 20:37:08 +0100 | ballarin | Fixed tutorial to compile with new locales; grammar of new locale commands. | changeset | files |