Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +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.
Tue, 18 Dec 2007 00:17:00 +0100 split_primel: salvaged original proof after blow with sledghammer
changeset
wenzelm [Tue, 18 Dec 2007 00:17:00 +0100] rev 25687
split_primel: salvaged original proof after blow with sledghammer (this constructive version is required in HOL/Extraction);
Mon, 17 Dec 2007 23:33:00 +0100 cond_timeit: added message argument, use Exn.capture/release;
changeset
wenzelm [Mon, 17 Dec 2007 23:33:00 +0100] rev 25686
cond_timeit: added message argument, use Exn.capture/release; tuned;
Mon, 17 Dec 2007 23:26:27 +0100 cond_timeit: added message argument;
changeset
wenzelm [Mon, 17 Dec 2007 23:26:27 +0100] rev 25685
cond_timeit: added message argument;
Mon, 17 Dec 2007 22:40:14 +0100 note in target
changeset
haftmann [Mon, 17 Dec 2007 22:40:14 +0100] rev 25684
note in target
Mon, 17 Dec 2007 22:40:13 +0100 maior tuning
changeset
haftmann [Mon, 17 Dec 2007 22:40:13 +0100] rev 25683
maior tuning
Mon, 17 Dec 2007 22:40:12 +0100 tuned
changeset
haftmann [Mon, 17 Dec 2007 22:40:12 +0100] rev 25682
tuned
Mon, 17 Dec 2007 18:39:18 +0100 Added foldl1.
changeset
berghofe [Mon, 17 Dec 2007 18:39:18 +0100] rev 25681
Added foldl1.
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle