| Wed, 13 Sep 2000 22:29:17 +0200 | wenzelm | \<epsilon>: syntax (input); | changeset | files |
| Wed, 13 Sep 2000 22:28:50 +0200 | wenzelm | tuned recdef hints; | changeset | files |
| Wed, 13 Sep 2000 22:27:53 +0200 | wenzelm | easy settings: add /usr/local prefix; | changeset | files |