Thu, 29 Oct 2009 22:31:30 +0100 | blanchet | try very hard to remove temporary files generated by Nitpick in case of interruption | changeset | files |
Thu, 29 Oct 2009 21:57:59 +0100 | blanchet | eliminate two FIXMEs in Nitpick's monotonicity check code | changeset | files |
Thu, 29 Oct 2009 16:06:28 +0100 | blanchet | rename "NitpickMono" to "Nitpick_Mono" in example | changeset | files |