| 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 |