Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thu, 06 Dec 2012 16:07:09 +0100 use right names in MePo exporter
changeset
blanchet [Thu, 06 Dec 2012 16:07:09 +0100] rev 50402
use right names in MePo exporter
Thu, 06 Dec 2012 15:54:17 +0100 parse more liberal MaSh suggestion syntax (for the eval driver)
changeset
blanchet [Thu, 06 Dec 2012 15:54:17 +0100] rev 50401
parse more liberal MaSh suggestion syntax (for the eval driver)
Thu, 06 Dec 2012 11:42:23 +0100 merged
changeset
wenzelm [Thu, 06 Dec 2012 11:42:23 +0100] rev 50400
merged
Thu, 06 Dec 2012 11:27:44 +0100 made Python code compile again (by Daniel K.)
changeset
blanchet [Thu, 06 Dec 2012 11:27:44 +0100] rev 50399
made Python code compile again (by Daniel K.)
Thu, 06 Dec 2012 11:25:10 +0100 tweaked MaSh proximity
changeset
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50398
tweaked MaSh proximity
Thu, 06 Dec 2012 11:25:10 +0100 reduce max number of dependencies for MaSh to get rid of junk
changeset
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50397
reduce max number of dependencies for MaSh to get rid of junk
Thu, 06 Dec 2012 11:25:10 +0100 more feature tweaks
changeset
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50396
more feature tweaks
Thu, 06 Dec 2012 11:25:10 +0100 prioritize chained facts
changeset
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50395
prioritize chained facts
Thu, 06 Dec 2012 11:25:10 +0100 more MaSh feature tweaking
changeset
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50394
more MaSh feature tweaking
Thu, 06 Dec 2012 11:25:10 +0100 record free variables as a MaSh feature
changeset
blanchet [Thu, 06 Dec 2012 11:25:10 +0100] rev 50393
record free variables as a MaSh feature
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle