Tue, 03 Aug 2010 13:17:15 +0200 | blanchet | document something I explained in an email to a poweruser | changeset | files |
Tue, 03 Aug 2010 12:31:30 +0200 | blanchet | make Nitpick more flexible when parsing (p)simp rules | changeset | files |
Tue, 03 Aug 2010 12:16:32 +0200 | blanchet | fix soundness bug w.r.t. "Suc" with "binary_ints" | changeset | files |