| Mon, 20 Jun 2011 22:43:56 +0200 | wenzelm | added SyntaxUtilities.StyleExtender hook, with actual functionality in Isabelle/Scala; | changeset | files |
| Mon, 20 Jun 2011 12:13:43 +0200 | blanchet | clean up SPASS FLOTTER hack | changeset | files |
| Mon, 20 Jun 2011 11:42:41 +0200 | blanchet | remove automatic recovery from (some) unsound proofs, now that we use sound encodings for all the interesting provers | changeset | files |
| Mon, 20 Jun 2011 10:41:02 +0200 | blanchet | only refer to facts found in TPTP file -- e.g. facts that simplify to true are excluded | changeset | files |
| Mon, 20 Jun 2011 10:41:02 +0200 | blanchet | slightly better setup for E | changeset | files |
| Mon, 20 Jun 2011 10:41:02 +0200 | blanchet | respect "really_all" argument, which is used by "ATP_Export" | changeset | files |