Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +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, 12 Nov 2010 15:56:06 +0100 dropped numerals from monomorphization blacklist (only particular numerals are builtin, all other numerals should be treated uninterpreted), this blacklist should contain only truely polymorphic builtin constants supported by SMT
changeset
boehmes [Fri, 12 Nov 2010 15:56:06 +0100] rev 40512
dropped numerals from monomorphization blacklist (only particular numerals are builtin, all other numerals should be treated uninterpreted), this blacklist should contain only truely polymorphic builtin constants supported by SMT
Fri, 12 Nov 2010 06:11:29 -0800 merged
changeset
huffman [Fri, 12 Nov 2010 06:11:29 -0800] rev 40511
merged
Fri, 12 Nov 2010 06:05:26 -0800 update Theory.requires with new theory name
changeset
huffman [Fri, 12 Nov 2010 06:05:26 -0800] rev 40510
update Theory.requires with new theory name
Fri, 12 Nov 2010 14:51:28 +0100 tuned signatures;
changeset
wenzelm [Fri, 12 Nov 2010 14:51:28 +0100] rev 40509
tuned signatures;
Fri, 12 Nov 2010 14:06:37 +0100 never open Unsynchronized;
changeset
wenzelm [Fri, 12 Nov 2010 14:06:37 +0100] rev 40508
never open Unsynchronized;
Fri, 12 Nov 2010 12:57:02 +0100 merged
changeset
wenzelm [Fri, 12 Nov 2010 12:57:02 +0100] rev 40507
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle