| Mon, 26 Oct 2009 20:04:20 +0100 | wenzelm | recovered sort indentation for "sort position", as documented in the file; | changeset | files |
| Mon, 26 Oct 2009 20:02:37 +0100 | wenzelm | tuned white space; | changeset | files |
| Mon, 26 Oct 2009 15:36:50 +0100 | haftmann | merged | changeset | files |
| Mon, 26 Oct 2009 15:17:02 +0100 | haftmann | merged | changeset | files |
| Mon, 26 Oct 2009 15:16:28 +0100 | haftmann | avoid upto if not needed | changeset | files |
| Mon, 26 Oct 2009 15:15:59 +0100 | haftmann | conceal quickcheck generators | changeset | files |
| Mon, 26 Oct 2009 14:57:49 +0100 | blanchet | merged | changeset | files |
| Mon, 26 Oct 2009 14:21:20 +0100 | blanchet | merged | changeset | files |
| Mon, 26 Oct 2009 11:02:08 +0100 | blanchet | make Nitpick compile again | changeset | files |
| Mon, 26 Oct 2009 09:14:29 +0100 | blanchet | merged | changeset | files |
| Fri, 23 Oct 2009 20:14:25 +0200 | blanchet | be somewhat more liberal in Nitpick about which types may occur in formulas | changeset | files |
| Fri, 23 Oct 2009 20:13:33 +0200 | blanchet | make the Nitpick examples work again | changeset | files |
| Fri, 23 Oct 2009 19:00:36 +0200 | blanchet | updated keyword files to include "nitpick" and "nitpick_params" | changeset | files |
| Fri, 23 Oct 2009 18:59:24 +0200 | blanchet | continuation of Nitpick's integration into Isabelle; | changeset | files |