| Wed, 15 Apr 2015 14:54:25 +0200 | wenzelm | tuned messages; | changeset | files |
| Wed, 15 Apr 2015 14:01:28 +0200 | wenzelm | obsolete (see also 94b2690ad494); | changeset | files |
| Wed, 15 Apr 2015 13:55:01 +0200 | wenzelm | GUI controls for ML_statistics, for more digestible protocol dump; | changeset | files |
| Wed, 15 Apr 2015 11:47:29 +0200 | wenzelm | more robust error handling of commands that are declared but not yet defined; | changeset | files |
| Tue, 14 Apr 2015 22:54:07 +0200 | wenzelm | NEWS; | changeset | files |
| Tue, 14 Apr 2015 22:50:11 +0200 | wenzelm | clarified sledgehammer options to approximate old-style diagnostic command; | changeset | files |
| Tue, 14 Apr 2015 16:47:55 +0200 | nipkow | prepared for more meta-simp rules (by Stefan Berghofer) | changeset | files |