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 |
Fri, 01 Sep 2000 00:31:39 +0200 | wenzelm | added "safe" method; | changeset | files |