Tue, 23 Feb 2010 11:05:32 +0100 | blanchet | improved Nitpick's support for quotient types | changeset | files |
Tue, 23 Feb 2010 12:02:32 +0100 | hoelzl | Forgot to check NSA in changeset e4a431b6d9b7 ; Removed import of Integration | changeset | files |
Tue, 23 Feb 2010 10:02:14 +0100 | blanchet | catch IO errors in Nitpick's "kodkodi" invocation + shorten execution time of "Manual_Nits" example | changeset | files |