| Thu, 19 Aug 1999 13:48:37 +0200 | wenzelm | renamed 'some_rule' to 'rule'; | changeset | files |
| Thu, 19 Aug 1999 13:42:40 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 19 Aug 1999 13:39:26 +0200 | wenzelm | removed fixnumerals (for the time being); | changeset | files |