Fri, 01 Sep 2000 00:48:12 +0200 | wenzelm | added 'safe' method; | changeset | files |
Fri, 01 Sep 2000 00:36:08 +0200 | wenzelm | Method.bang_sectioned_args'; | changeset | files |
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 |
Fri, 01 Sep 2000 00:32:46 +0200 | wenzelm | priority_fn := decorate_lines; | changeset | files |
Fri, 01 Sep 2000 00:32:11 +0200 | wenzelm | added priority, priority_fn; | changeset | files |