Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +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.
Mon, 27 Jun 2011 14:56:33 +0200 don't export any metastrange or other nonatomizable formulas, since these don't help proving normal things, they are somewhat broken in the ATP output, and they are atypical
changeset
blanchet [Mon, 27 Jun 2011 14:56:33 +0200] rev 43576
don't export any metastrange or other nonatomizable formulas, since these don't help proving normal things, they are somewhat broken in the ATP output, and they are atypical
Mon, 27 Jun 2011 14:56:32 +0200 tweaked comment
changeset
blanchet [Mon, 27 Jun 2011 14:56:32 +0200] rev 43575
tweaked comment
Mon, 27 Jun 2011 14:56:31 +0200 document "sound" option
changeset
blanchet [Mon, 27 Jun 2011 14:56:31 +0200] rev 43574
document "sound" option
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle