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