Wed, 17 Feb 2010 20:46:50 +0100 | blanchet | make sure that Nitpick uses binary notation consistently if "binary_ints" is enabled | changeset | files |
Wed, 17 Feb 2010 14:11:41 +0100 | blanchet | added gotcha to Nitpick manual regarding nonstandard models of "nat" | changeset | files |
Wed, 17 Feb 2010 13:57:45 +0100 | blanchet | improve Nitpick's "Datatypes" rendering for elements containing cycles | changeset | files |