Tue, 12 Sep 2000 17:39:29 +0200 | wenzelm | tuned handling of "intros"; | changeset | files |
Tue, 12 Sep 2000 17:38:49 +0200 | wenzelm | delrule: handle dest rules as well; | changeset | files |
Tue, 12 Sep 2000 17:35:09 +0200 | wenzelm | replaced "delrule" by "rule del"; | changeset | files |
Tue, 12 Sep 2000 17:34:50 +0200 | wenzelm | renamed "delrule" to "rule del"; | changeset | files |
Tue, 12 Sep 2000 17:34:41 +0200 | wenzelm | tuned; | changeset | files |
Tue, 12 Sep 2000 17:01:14 +0200 | wenzelm | tuned; | changeset | files |
Tue, 12 Sep 2000 15:43:15 +0200 | nipkow | *** empty log message *** | changeset | files |