| Wed, 13 Sep 2000 22:31:19 +0200 | wenzelm | Args.addN, Args.delN; | changeset | files |
| Wed, 13 Sep 2000 22:29:37 +0200 | wenzelm | LFilter: setmp quick_and_dirty false; | changeset | files |
| 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 |
| Wed, 13 Sep 2000 22:27:26 +0200 | wenzelm | updated to 3.3d; | changeset | files |
| Wed, 13 Sep 2000 22:27:10 +0200 | wenzelm | tar packages: /usr/local; | changeset | files |