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:35 +0200 clarify minimizer output
changeset
blanchet [Mon, 27 Jun 2011 14:56:35 +0200] rev 43577
clarify minimizer output
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
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle