Fri, 17 Dec 2010 21:32:06 +0100 merged
blanchet [Fri, 17 Dec 2010 21:32:06 +0100] rev 41257
merged
Fri, 17 Dec 2010 21:31:19 +0100 put the SMT weights back where they belong, so that they're also used by Mirabelle
blanchet [Fri, 17 Dec 2010 21:31:19 +0100] rev 41256
put the SMT weights back where they belong, so that they're also used by Mirabelle
Fri, 17 Dec 2010 18:23:56 +0100 added debugging option to find out how good the relevance filter was at identifying relevant facts
blanchet [Fri, 17 Dec 2010 18:23:56 +0100] rev 41255
added debugging option to find out how good the relevance filter was at identifying relevant facts
Fri, 17 Dec 2010 22:23:56 +0100 extra checking of name bindings for classes, types, consts;
wenzelm [Fri, 17 Dec 2010 22:23:56 +0100] rev 41254
extra checking of name bindings for classes, types, consts; tuned;
Fri, 17 Dec 2010 20:21:35 +0100 more explicit references to structure Raw_Simplifier;
wenzelm [Fri, 17 Dec 2010 20:21:35 +0100] rev 41253
more explicit references to structure Raw_Simplifier;
Fri, 17 Dec 2010 18:38:33 +0100 merged
wenzelm [Fri, 17 Dec 2010 18:38:33 +0100] rev 41252
merged
Fri, 17 Dec 2010 18:33:35 +0100 merged
wenzelm [Fri, 17 Dec 2010 18:33:35 +0100] rev 41251
merged
Fri, 17 Dec 2010 18:15:56 +0100 merged
wenzelm [Fri, 17 Dec 2010 18:15:56 +0100] rev 41250
merged
Fri, 17 Dec 2010 18:10:37 +0100 Command 'type_synonym' (with single argument) supersedes 'types' (legacy feature);
wenzelm [Fri, 17 Dec 2010 18:10:37 +0100] rev 41249
Command 'type_synonym' (with single argument) supersedes 'types' (legacy feature);
Fri, 17 Dec 2010 18:32:40 +0100 dropped slightly odd Conv.tap_thy
haftmann [Fri, 17 Dec 2010 18:32:40 +0100] rev 41248
dropped slightly odd Conv.tap_thy
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip