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.
Fri, 25 Jun 2010 16:27:53 +0200 exploit "Name.desymbolize" to remove some dependencies
changeset
blanchet [Fri, 25 Jun 2010 16:27:53 +0200] rev 37575
exploit "Name.desymbolize" to remove some dependencies
Fri, 25 Jun 2010 16:15:03 +0200 renamed "Sledgehammer_Fact_Preprocessor" to "Clausifier";
changeset
blanchet [Fri, 25 Jun 2010 16:15:03 +0200] rev 37574
renamed "Sledgehammer_Fact_Preprocessor" to "Clausifier"; the new name reflects that it's not used only by Sledgehammer (but also by "meson" and "metis") and that it doesn't only clausify facts (but also goals)
Fri, 25 Jun 2010 16:03:34 +0200 fewer dependencies
changeset
blanchet [Fri, 25 Jun 2010 16:03:34 +0200] rev 37573
fewer dependencies
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle