Tue, 22 Mar 2011 18:27:47 +0100 remove lie from documentation
blanchet [Tue, 22 Mar 2011 18:27:47 +0100] rev 42062
remove lie from documentation
Tue, 22 Mar 2011 17:20:54 +0100 let SMT errors through -- the main reason for keeping them quiet was that the SMT bridge used to suffer from internal bugs, but these have been fixed for some time now
blanchet [Tue, 22 Mar 2011 17:20:54 +0100] rev 42061
let SMT errors through -- the main reason for keeping them quiet was that the SMT bridge used to suffer from internal bugs, but these have been fixed for some time now
Tue, 22 Mar 2011 17:20:53 +0100 make Minimizer honor "verbose" and "debug" options better
blanchet [Tue, 22 Mar 2011 17:20:53 +0100] rev 42060
make Minimizer honor "verbose" and "debug" options better
Tue, 22 Mar 2011 12:49:07 +0100 fixed a printing problem for bounded quantifiers and bounded set operators in the case of tuples
nipkow [Tue, 22 Mar 2011 12:49:07 +0100] rev 42059
fixed a printing problem for bounded quantifiers and bounded set operators in the case of tuples
Mon, 21 Mar 2011 21:10:29 +0100 moved some configurations to AFP, and fixed others
krauss [Mon, 21 Mar 2011 21:10:29 +0100] rev 42058
moved some configurations to AFP, and fixed others
Tue, 22 Mar 2011 20:44:47 +0100 more selective strip_positions in case patterns -- reactivate translations based on "case _ of _" in HOL and special patterns in HOLCF;
wenzelm [Tue, 22 Mar 2011 20:44:47 +0100] rev 42057
more selective strip_positions in case patterns -- reactivate translations based on "case _ of _" in HOL and special patterns in HOLCF;
Tue, 22 Mar 2011 18:03:28 +0100 enable inner syntax source positions by default (controlled via configuration option);
wenzelm [Tue, 22 Mar 2011 18:03:28 +0100] rev 42056
enable inner syntax source positions by default (controlled via configuration option); disable source positions for HOLCF, due to special pattern translations;
Tue, 22 Mar 2011 17:51:15 +0100 binder_tr: more informative exception;
wenzelm [Tue, 22 Mar 2011 17:51:15 +0100] rev 42055
binder_tr: more informative exception;
Tue, 22 Mar 2011 16:39:34 +0100 Hoare syntax: strip positions where they crash translation functions;
wenzelm [Tue, 22 Mar 2011 16:39:34 +0100] rev 42054
Hoare syntax: strip positions where they crash translation functions; re-unified some clones (!);
Tue, 22 Mar 2011 16:15:50 +0100 update_name_tr: more precise handling of explicit constraints, including positions;
wenzelm [Tue, 22 Mar 2011 16:15:50 +0100] rev 42053
update_name_tr: more precise handling of explicit constraints, including positions;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip