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 |