| Wed, 08 Apr 2015 15:06:43 +0200 | wenzelm | more standard access to specific subgoal; | changeset | files |
| Wed, 08 Apr 2015 19:24:32 +0200 | blanchet | tuned wording | changeset | files |
| Wed, 08 Apr 2015 19:19:02 +0200 | blanchet | updated 'old_smt' to loss of 'z3_non_commercial' option | changeset | files |
| Wed, 08 Apr 2015 19:15:55 +0200 | blanchet | Z3 news | changeset | files |
| Wed, 08 Apr 2015 19:05:57 +0200 | blanchet | updated certificates to latest Z3 (and took out one problem that no longer works) | changeset | files |
| Wed, 08 Apr 2015 18:58:28 +0200 | blanchet | updated docs to reflect actually run ATPs | changeset | files |
| Wed, 08 Apr 2015 18:55:52 +0200 | blanchet | reorder provers to reflect current eval results | changeset | files |