| Fri, 20 Jul 2012 10:53:25 +0200 | huffman | make nat_cancel_sums simprocs robust in the presence of schematic variables; add regression tests | changeset | files |
| Thu, 19 Jul 2012 22:21:59 +0200 | haftmann | export code relatively to master directory | changeset | files |
| Fri, 20 Jul 2012 18:50:33 +0200 | wenzelm | require explicit initialization of options; | changeset | files |