| Fri, 01 Sep 2000 00:34:07 +0200 | wenzelm | replaced writeln by priority; | changeset | files |
| Fri, 01 Sep 2000 00:33:36 +0200 | wenzelm | added bang_sectioned_args'; | changeset | files |
| Fri, 01 Sep 2000 00:33:14 +0200 | wenzelm | 'declare' made proper command; | changeset | files |