| 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 |