Tue, 03 Aug 2010 13:29:26 +0200 | blanchet | fix newly introduced bug w.r.t. conditional equations | changeset | files |
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 |