| 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 |
| Fri, 23 Oct 2009 18:57:35 +0200 | blanchet | updated Nitpick documentation to remove weird default for "overlord" | changeset | files |
| Fri, 23 Oct 2009 14:45:01 +0200 | blanchet | updated Nitpick manual to reflect the latest Stand der Dinge | changeset | files |
| Thu, 22 Oct 2009 16:34:49 +0200 | blanchet | merged | changeset | files |
| Thu, 22 Oct 2009 16:34:30 +0200 | blanchet | wrap line correctly in Nitpick documentation | changeset | files |
| Thu, 22 Oct 2009 14:51:47 +0200 | blanchet | added Nitpick's theory and ML files to Isabelle/HOL; | changeset | files |
| Thu, 22 Oct 2009 14:45:20 +0200 | blanchet | Added Nitpick manual. | changeset | files |
| Mon, 26 Oct 2009 14:54:43 +0100 | berghofe | merged | changeset | files |
| Mon, 26 Oct 2009 14:53:33 +0100 | berghofe | Added Pattern.thy to Nominal/Examples. | changeset | files |
| Mon, 26 Oct 2009 12:23:59 +0100 | haftmann | merged | changeset | files |
| Mon, 26 Oct 2009 10:51:42 +0100 | haftmann | tuned | changeset | files |
| Mon, 26 Oct 2009 10:51:42 +0100 | haftmann | added SML_Quickcheck import | changeset | files |
| Mon, 26 Oct 2009 10:51:41 +0100 | haftmann | tuned code setup for primitive boolean connectors | changeset | files |
| Mon, 26 Oct 2009 09:41:26 +0100 | haftmann | legacy warnings for old-style term styles | changeset | files |
| Mon, 26 Oct 2009 12:02:06 +0100 | wenzelm | removed unnecessary NameSpace prefix; | changeset | files |
| Mon, 26 Oct 2009 11:57:58 +0100 | wenzelm | misc tuning and updates; | changeset | files |
| Mon, 26 Oct 2009 11:37:33 +0100 | wenzelm | merged | changeset | files |