| Mon, 26 Oct 2009 20:42:08 +0100 | wenzelm | forget old some old option stuff from NJ -- superceded by material in Pure/General/basics.ML; | changeset | files |
| Mon, 26 Oct 2009 20:41:26 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 26 Oct 2009 20:17:55 +0100 | wenzelm | added nitpick manual here; | changeset | files |
| 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 |