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 |
Thu, 28 Aug 2014 16:58:27 +0200 | blanchet | tuned message | changeset | files |
Thu, 28 Aug 2014 16:58:27 +0200 | blanchet | made trace more informative when minimization is enabled | changeset | files |
Thu, 28 Aug 2014 16:58:27 +0200 | blanchet | took out one more occurrence of 'PolyML.makestring' | changeset | files |