Tue, 01 Oct 2002 15:03:28 +0200 | berghofe | Added some comments on new simplifier. | changeset | files |
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 |