| Thu, 16 Feb 2006 18:25:52 +0100 | wenzelm | updated; | changeset | files |
| Thu, 16 Feb 2006 14:59:57 +0100 | obua | cache improvements | changeset | files |
| Thu, 16 Feb 2006 04:17:19 +0100 | obua | variable counter is now also cached | changeset | files |
| Thu, 16 Feb 2006 03:23:57 +0100 | obua | adapted to kernel changes | changeset | files |
| Thu, 16 Feb 2006 00:09:46 +0100 | wenzelm | tuned subst_bound(s); | changeset | files |
| Wed, 15 Feb 2006 23:57:06 +0100 | obua | fixed bugs, added caching | changeset | files |
| Wed, 15 Feb 2006 21:35:13 +0100 | wenzelm | added cases_node; | changeset | files |
| Wed, 15 Feb 2006 21:35:12 +0100 | wenzelm | replaced qualified_force_prefix to sticky_prefix; | changeset | files |