| Thu, 28 Aug 2014 19:07:10 +0200 | blanchet | prefer '0.2 ms' to '249 \<mu>s' | changeset | files |
| Thu, 28 Aug 2014 19:02:37 +0200 | blanchet | use 'thesis' only if it expands to the right thing (it won't after an 'unfolding', for example) | changeset | files |
| Thu, 28 Aug 2014 17:25:56 +0200 | blanchet | fixed second computations | changeset | files |
| Thu, 28 Aug 2014 16:58:27 +0200 | blanchet | merged minimize and auto_minimize | changeset | files |
| Thu, 28 Aug 2014 16:58:27 +0200 | blanchet | pass options to remote Vampire | changeset | files |
| Thu, 28 Aug 2014 16:58:27 +0200 | blanchet | removed show stuttering | changeset | files |
| Thu, 28 Aug 2014 16:58:27 +0200 | blanchet | generate 'thesis' variable in Sledgehammer Isar proofs | changeset | files |
| Thu, 28 Aug 2014 16:58:27 +0200 | blanchet | show microseconds as well (useful when playing with Isar proofs) | changeset | files |