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 |