| Thu, 30 Sep 2010 08:50:45 +0200 | haftmann | tuned | changeset | files |
| Thu, 30 Sep 2010 07:34:06 +0200 | haftmann | merged | changeset | files |
| Wed, 29 Sep 2010 15:28:29 +0200 | haftmann | redundancy check: drop trailing Var arguments (avoids eta problems with equations) | changeset | files |