| Thu, 11 Jan 2007 01:34:23 +0100 | webertj | updated to mention the automatic unfolding of constants | changeset | files |
| Wed, 10 Jan 2007 20:17:26 +0100 | wenzelm | removed NameSpace.split -- use qualifier/base instead; | changeset | files |
| Wed, 10 Jan 2007 20:16:52 +0100 | wenzelm | fixed exit: proper type check of state; | changeset | files |