Thu, 29 Jul 2010 23:24:07 +0200 | blanchet | make Mirabelle happy | changeset | files |
Thu, 29 Jul 2010 23:11:35 +0200 | blanchet | fix bug in the newly introduced "bound concealing" code | changeset | files |
Thu, 29 Jul 2010 22:57:36 +0200 | blanchet | handle division by zero gracefully (used to raise Unordered later on) | changeset | files |