| Mon, 29 Jul 2013 13:28:27 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 29 Jul 2013 13:24:15 +0200 | wenzelm | discontinued notion of "stable" result -- running execution is never canceled; | changeset | files |
| Mon, 29 Jul 2013 13:00:36 +0200 | wenzelm | obsolete; | changeset | files |
| Mon, 29 Jul 2013 12:50:16 +0200 | wenzelm | support declarative editor_execution_range, instead of old-style check/cancel buttons; | changeset | files |
| Mon, 29 Jul 2013 18:06:39 +0200 | blanchet | avoid duplicating Var when the types do not quite fit -- since this step occurs before type inference | changeset | files |
| Mon, 29 Jul 2013 17:27:56 +0200 | blanchet | updated Sledgehammer prover versions | changeset | files |
| Mon, 29 Jul 2013 16:13:35 +0200 | blanchet | parse nonnumeric identifiers in E proofs correctly | changeset | files |
| Mon, 29 Jul 2013 15:42:04 +0200 | blanchet | simplified Vampire hack -- no need to run it for other ATPs | changeset | files |