| Sat, 24 Apr 2010 16:05:42 +0200 | blanchet | better error reporting; | changeset | files |
| Fri, 23 Apr 2010 19:36:49 +0200 | blanchet | cosmetics | changeset | files |
| Fri, 23 Apr 2010 19:26:39 +0200 | blanchet | reuse timestamp function | changeset | files |
| Fri, 23 Apr 2010 19:18:39 +0200 | blanchet | stop referring to Sledgehammer_Util stuff all over Nitpick code; instead, redeclare any needed function in Nitpick_Util as synonym for the Sledgehammer_Util function of the same name | changeset | files |
| Fri, 23 Apr 2010 19:16:52 +0200 | blanchet | make "ATP_Manager.get_prover" a total function, since we always want to show the same error text | changeset | files |
| Fri, 23 Apr 2010 19:12:49 +0200 | blanchet | remove some bloat | changeset | files |
| Fri, 23 Apr 2010 18:11:41 +0200 | blanchet | now rename the file "atp_wrapper.ML" to "atp_systems.ML" + fix typo in "SystemOnTPTP" script | changeset | files |