Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 21 Jan 2009 16:50:09 +0100 merged
changeset
haftmann [Wed, 21 Jan 2009 16:50:09 +0100] rev 29583
merged
Wed, 21 Jan 2009 16:48:15 +0100 binding replaces bstring
changeset
haftmann [Wed, 21 Jan 2009 16:48:15 +0100] rev 29582
binding replaces bstring
Wed, 21 Jan 2009 16:47:32 +0100 binding is alias for Binding.T
changeset
haftmann [Wed, 21 Jan 2009 16:47:32 +0100] rev 29581
binding is alias for Binding.T
Wed, 21 Jan 2009 16:47:31 +0100 dropped ID
changeset
haftmann [Wed, 21 Jan 2009 16:47:31 +0100] rev 29580
dropped ID
Wed, 21 Jan 2009 16:47:04 +0100 binding replaces bstring
changeset
haftmann [Wed, 21 Jan 2009 16:47:04 +0100] rev 29579
binding replaces bstring
Wed, 21 Jan 2009 16:47:03 +0100 refined witness algebra
changeset
haftmann [Wed, 21 Jan 2009 16:47:03 +0100] rev 29578
refined witness algebra
Wed, 21 Jan 2009 16:47:03 +0100 code cleanup
changeset
haftmann [Wed, 21 Jan 2009 16:47:03 +0100] rev 29577
code cleanup
Wed, 21 Jan 2009 16:47:03 +0100 wrecked old locale package and related modules
changeset
haftmann [Wed, 21 Jan 2009 16:47:03 +0100] rev 29576
wrecked old locale package and related modules
Wed, 21 Jan 2009 16:47:02 +0100 improved and corrected reading of class specs -- still draft version
changeset
haftmann [Wed, 21 Jan 2009 16:47:02 +0100] rev 29575
improved and corrected reading of class specs -- still draft version
Wed, 21 Jan 2009 16:47:01 +0100 tuned
changeset
haftmann [Wed, 21 Jan 2009 16:47:01 +0100] rev 29574
tuned
Tue, 20 Jan 2009 19:09:19 +0100 tuned;
changeset
wenzelm [Tue, 20 Jan 2009 19:09:19 +0100] rev 29573
tuned;
Tue, 20 Jan 2009 18:08:31 +0100 replaced java.util.Properties by plain association list;
changeset
wenzelm [Tue, 20 Jan 2009 18:08:31 +0100] rev 29572
replaced java.util.Properties by plain association list; added parse_message;
Tue, 20 Jan 2009 18:06:56 +0100 replaced java.util.Properties by plain association list;
changeset
wenzelm [Tue, 20 Jan 2009 18:06:56 +0100] rev 29571
replaced java.util.Properties by plain association list; tuned;
Tue, 20 Jan 2009 18:05:21 +0100 IsabelleSystem: provide Symbol.Interpretation;
changeset
wenzelm [Tue, 20 Jan 2009 18:05:21 +0100] rev 29570
IsabelleSystem: provide Symbol.Interpretation;
Tue, 20 Jan 2009 18:04:37 +0100 more general init of Symbol.Interpretation, independent of IsabelleSystem instance;
changeset
wenzelm [Tue, 20 Jan 2009 18:04:37 +0100] rev 29569
more general init of Symbol.Interpretation, independent of IsabelleSystem instance;
Mon, 19 Jan 2009 23:40:29 +0100 more robust handling of quick_and_dirty;
changeset
wenzelm [Mon, 19 Jan 2009 23:40:29 +0100] rev 29568
more robust handling of quick_and_dirty;
(0) -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle