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.
Sun, 06 Nov 2011 11:51:35 +0100 speed up binary minimizer in practice by preferring the first half of the used facts (which are likelier to be relevant) to the second half
changeset
blanchet [Sun, 06 Nov 2011 11:51:35 +0100] rev 45366
speed up binary minimizer in practice by preferring the first half of the used facts (which are likelier to be relevant) to the second half
Sun, 06 Nov 2011 11:16:37 +0100 renamed experimental systems
changeset
blanchet [Sun, 06 Nov 2011 11:16:37 +0100] rev 45365
renamed experimental systems
Sun, 06 Nov 2011 11:13:47 +0100 repaired quantification over type variables for non-TFF1/THF encodings
changeset
blanchet [Sun, 06 Nov 2011 11:13:47 +0100] rev 45364
repaired quantification over type variables for non-TFF1/THF encodings
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle