Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +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.
Sat, 05 Sep 2009 11:45:57 +0200 added initialization and cleanup of actions,
changeset
boehmes [Sat, 05 Sep 2009 11:45:57 +0200] rev 32521
added initialization and cleanup of actions, added option to suppress Isabelle output, sledgehammer action produces its own report (no need for additional perl script)
Fri, 04 Sep 2009 15:19:51 +0200 merged
changeset
haftmann [Fri, 04 Sep 2009 15:19:51 +0200] rev 32520
merged
Fri, 04 Sep 2009 15:18:35 +0200 tuned metis proofs
changeset
haftmann [Fri, 04 Sep 2009 15:18:35 +0200] rev 32519
tuned metis proofs
Fri, 04 Sep 2009 13:57:56 +0200 tuned
changeset
boehmes [Fri, 04 Sep 2009 13:57:56 +0200] rev 32518
tuned
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle