| Mon, 20 Jun 2011 23:25:39 +0200 |
wenzelm |
removed obsolete font specification;
|
changeset |
files
|
| Mon, 20 Jun 2011 23:21:24 +0200 |
wenzelm |
more tolerant Symbol.decode;
|
changeset |
files
|
| Mon, 20 Jun 2011 23:19:38 +0200 |
wenzelm |
simplified/generalized ISABELLE_FONTS handling;
|
changeset |
files
|
| Mon, 20 Jun 2011 22:48:41 +0200 |
wenzelm |
updated to jedit_build-20110620;
|
changeset |
files
|
| 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
|
| Mon, 20 Jun 2011 10:41:02 +0200 |
blanchet |
slightly better setup for SPASS and Vampire as more results have come in
|
changeset |
files
|
| Mon, 20 Jun 2011 10:41:02 +0200 |
blanchet |
optimized SPASS and Vampire time slices, like E before
|
changeset |
files
|
| Mon, 20 Jun 2011 10:41:02 +0200 |
blanchet |
optimized E's time slicing, based on latest exhaustive Judgment Day results
|
changeset |
files
|
| Mon, 20 Jun 2011 10:41:02 +0200 |
blanchet |
deal with ATP time slices in a more flexible/robust fashion
|
changeset |
files
|
| Mon, 20 Jun 2011 09:19:31 +0200 |
wenzelm |
literal unicode in README.html allows to copy/paste from Lobo output;
|
changeset |
files
|