Tue, 24 Sep 2013 14:09:39 +0200 | wenzelm | tuned; | changeset | files |
Tue, 24 Sep 2013 13:23:25 +0200 | wenzelm | avoid clash of auto print functions with query operations, notably sledgehammer (cf. 3461985dcbc3); | changeset | files |
Tue, 24 Sep 2013 11:28:18 +0200 | wenzelm | tuned isatest options; | changeset | files |
Tue, 24 Sep 2013 20:58:27 +0200 | blanchet | updated docs | changeset | files |
Tue, 24 Sep 2013 20:52:42 +0200 | blanchet | added [dest] to "disc_exclude" | changeset | files |
Tue, 24 Sep 2013 20:40:36 +0200 | blanchet | started adding support for "nat_case" as case study for all "case" constructs | changeset | files |