| 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 |
| Tue, 12 Sep 2000 14:59:44 +0200 | nipkow | *** empty log message *** | changeset | files |
| Tue, 12 Sep 2000 10:50:29 +0200 | wenzelm | added MicroJava/document/root.bib; | changeset | files |
| Tue, 12 Sep 2000 10:27:16 +0200 | paulson | tidying and updating for revised Mutilated Chess Board article | changeset | files |