| Fri, 14 May 2010 15:26:26 +0200 | blanchet | query _HOME environment variables at run-time, not at build-time | changeset | files |
| Fri, 14 May 2010 15:09:37 +0200 | blanchet | move Refute dependency from Plain to Main | changeset | files |
| Fri, 14 May 2010 15:07:53 +0200 | blanchet | move Nitpick files from "PLAIN_DEPENDENCIES" to "MAIN_DEPENDENCIES", where they belong | changeset | files |
| Fri, 14 May 2010 15:02:38 +0200 | blanchet | recognize new Kodkod error message syntax | changeset | files |
| Fri, 14 May 2010 14:14:22 +0200 | blanchet | improve precision of set constructs in Nitpick | changeset | files |
| Fri, 14 May 2010 12:01:16 +0200 | blanchet | produce more potential counterexamples for subset operator (cf. quantifiers) | changeset | files |
| Fri, 14 May 2010 11:24:49 +0200 | blanchet | improved Sledgehammer proofs | changeset | files |