| Mon, 26 Oct 2009 20:45:24 +0100 | wenzelm | reactivated test on sunbroy2 -- with full proof parallelism (requires Poly/ML-SVN-921); | changeset | files |
| 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 |