| 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 |