| Tue, 24 Nov 2009 18:36:18 +0100 | blanchet | fixed arity of some empty relations in Nitpick's Kodkod generator; | changeset | files |
| Tue, 24 Nov 2009 18:35:21 +0100 | blanchet | fix soundness bug in "uncurry" option of Nitpick | changeset | files |
| Tue, 24 Nov 2009 17:54:33 +0100 | wenzelm | Added tag isa2009-1-test for changeset 4328de748fb2 | changeset | files |
| Tue, 24 Nov 2009 17:19:33 +0100 | wenzelm | some rearangement of load order to keep preferences adjacent -- slightly fragile; | changeset | files |
| Tue, 24 Nov 2009 16:11:50 +0100 | blanchet | use correct Isabelle version name in README file | changeset | files |
| Tue, 24 Nov 2009 16:07:31 +0100 | blanchet | remove version number from Nitpick manual | changeset | files |
| Tue, 24 Nov 2009 15:22:00 +0100 | blanchet | fix soundness bug in Nitpick's Kodkod generator for the relational composition case | changeset | files |
| Tue, 24 Nov 2009 13:57:25 +0100 | blanchet | merged | changeset | files |