| Wed, 21 Jan 2009 16:47:04 +0100 |
haftmann |
binding replaces bstring
|
changeset |
files
|
| Wed, 21 Jan 2009 16:47:03 +0100 |
haftmann |
refined witness algebra
|
changeset |
files
|
| Wed, 21 Jan 2009 16:47:03 +0100 |
haftmann |
code cleanup
|
changeset |
files
|
| Wed, 21 Jan 2009 16:47:03 +0100 |
haftmann |
wrecked old locale package and related modules
|
changeset |
files
|
| Wed, 21 Jan 2009 16:47:02 +0100 |
haftmann |
improved and corrected reading of class specs -- still draft version
|
changeset |
files
|
| Wed, 21 Jan 2009 16:47:01 +0100 |
haftmann |
tuned
|
changeset |
files
|
| Tue, 20 Jan 2009 19:09:19 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 20 Jan 2009 18:08:31 +0100 |
wenzelm |
replaced java.util.Properties by plain association list;
|
changeset |
files
|
| 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
|
| Mon, 19 Jan 2009 20:05:41 +0100 |
wenzelm |
removed Ids;
|
changeset |
files
|
| Mon, 19 Jan 2009 19:38:03 +0100 |
wenzelm |
removed Ids;
|
changeset |
files
|