| Tue, 08 Nov 2011 08:56:23 +0100 | blanchet | made SML/NJ happy | changeset | files |
| Tue, 08 Nov 2011 00:02:30 +0100 | wenzelm | merged; | changeset | files |
| Mon, 07 Nov 2011 22:59:24 +0100 | blanchet | added FIXME comment | changeset | files |
| Mon, 07 Nov 2011 22:22:01 +0100 | blanchet | avoid infinite recursion in peephole optimizer function -- this had a debilitating effect on rationals and reals | changeset | files |
| Mon, 07 Nov 2011 22:21:57 +0100 | blanchet | revived Refute in Mutabelle | changeset | files |
| Mon, 07 Nov 2011 23:03:52 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 07 Nov 2011 21:34:11 +0100 | wenzelm | more scalable zero_var_indexes, depending on canonical order within table; | changeset | files |