| Tue, 13 Aug 2013 11:49:01 +0200 | wenzelm | more explicit error, e.g. for sledgehammer query operation applied in non-HOL session; | changeset | files |
| Tue, 13 Aug 2013 11:13:26 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 13 Aug 2013 11:34:56 +0200 | blanchet | added flag for jEdit/PIDE asynchronous mode | changeset | files |
| Tue, 13 Aug 2013 10:29:49 +0200 | blanchet | updated Vampire version numbers | changeset | files |
| Tue, 13 Aug 2013 10:26:56 +0200 | blanchet | Vampire 3.0 requires types to be declared -- make it happy (and get rid of "implicit" types since only Satallax seems to support them anymore) | changeset | files |
| Tue, 13 Aug 2013 09:58:08 +0200 | blanchet | whitepsace tuning | changeset | files |
| Tue, 13 Aug 2013 09:57:55 +0200 | blanchet | more robust parsing of Vampire proofs with "introduced" names | changeset | files |
| Mon, 12 Aug 2013 23:36:43 +0200 | blanchet | fixed "sorry"d proofs | changeset | files |