| Sat, 24 Apr 2010 16:44:45 +0200 | blanchet | fix typesetting | changeset | files |
| Sat, 24 Apr 2010 16:43:03 +0200 | blanchet | Fruhjahrsputz: remove three mostly useless Nitpick options | changeset | files |
| Sat, 24 Apr 2010 16:33:01 +0200 | blanchet | remove type annotations as comments; | changeset | files |
| Sat, 24 Apr 2010 16:17:30 +0200 | blanchet | cosmetics | changeset | files |
| 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 |