| Tue, 01 Oct 2002 14:45:28 +0200 | berghofe | Documented new "asm_lr" option for simp. | changeset | files |
| Tue, 01 Oct 2002 14:44:43 +0200 | berghofe | Adapted to new simplifier. | changeset | files |
| Tue, 01 Oct 2002 13:26:10 +0200 | paulson | Numerous cosmetic changes, prompted by the new simplifier | changeset | files |