| Mon, 23 Nov 2009 15:11:21 +0100 | krauss | do not add host suffix -- it is appended by test framework | changeset | files |
| Mon, 23 Nov 2009 15:06:38 +0100 | krauss | documented size_change in isar-ref manual | changeset | files |
| Mon, 23 Nov 2009 15:06:37 +0100 | krauss | clarified; checked | changeset | files |
| Mon, 23 Nov 2009 15:06:34 +0100 | krauss | mentioned method size_change in function tutorial | changeset | files |
| Mon, 23 Nov 2009 15:05:59 +0100 | krauss | eliminated dead code and some unused bindings, reported by polyml | changeset | files |
| Mon, 23 Nov 2009 13:45:16 +0100 | blanchet | fixed a Kodkod generation exception in Nitpick, reported by a Karlsruhe user | changeset | files |
| Mon, 23 Nov 2009 13:24:32 +0100 | blanchet | fixed soundness bug in Nitpick that occurred because unrolled predicate iterators were considered to be a "precise" type | changeset | files |