Sat, 30 Jan 2010 17:01:01 +0100 | berghofe | Adapted to changes in setup of cases method. | changeset | files |
Sat, 30 Jan 2010 16:59:49 +0100 | berghofe | Added setup for simplification of equality constraints in cases rules. | changeset | files |
Sat, 30 Jan 2010 16:58:46 +0100 | berghofe | Added infrastructure for simplifying equality constraints in cases rules. | changeset | files |