Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 15 Sep 2010 10:45:22 +0200 merge
changeset
blanchet [Wed, 15 Sep 2010 10:45:22 +0200] rev 39386
merge
Wed, 15 Sep 2010 10:43:57 +0200 compile on SML/NJ
changeset
blanchet [Wed, 15 Sep 2010 10:43:57 +0200] rev 39385
compile on SML/NJ
Wed, 15 Sep 2010 10:26:09 +0200 in debug mode, don't touch "$true" and "$false"
changeset
blanchet [Wed, 15 Sep 2010 10:26:09 +0200] rev 39384
in debug mode, don't touch "$true" and "$false"
Wed, 15 Sep 2010 09:36:39 +0200 adding option show_invalid_clauses for a more detailed message when modes are not inferred
changeset
bulwahn [Wed, 15 Sep 2010 09:36:39 +0200] rev 39383
adding option show_invalid_clauses for a more detailed message when modes are not inferred
Wed, 15 Sep 2010 09:36:38 +0200 proposed modes for code_pred now supports modes for mutual predicates
changeset
bulwahn [Wed, 15 Sep 2010 09:36:38 +0200] rev 39382
proposed modes for code_pred now supports modes for mutual predicates
Wed, 15 Sep 2010 08:58:34 +0200 merged
changeset
haftmann [Wed, 15 Sep 2010 08:58:34 +0200] rev 39381
merged
Mon, 13 Sep 2010 16:43:23 +0200 established emerging canonical names *_eqI and *_eq_iff
changeset
haftmann [Mon, 13 Sep 2010 16:43:23 +0200] rev 39380
established emerging canonical names *_eqI and *_eq_iff
Mon, 13 Sep 2010 16:43:23 +0200 moved lemmas map_of_eqI and map_of_eq_dom to Map.thy
changeset
haftmann [Mon, 13 Sep 2010 16:43:23 +0200] rev 39379
moved lemmas map_of_eqI and map_of_eq_dom to Map.thy
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle