Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +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 11:45:08 +0100 temporarily fixed documentation due to changed size functions
changeset
krauss [Tue, 18 Dec 2007 11:45:08 +0100] rev 25688
temporarily fixed documentation due to changed size functions
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
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle