| Fri, 14 May 2010 21:23:29 +0200 | ballarin | Revert mixin patch due to inacceptable performance drop. | changeset | files |
| Fri, 14 May 2010 15:27:07 +0200 | blanchet | add "no_atp"s to Nitpick lemmas | changeset | files |
| 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 |