Tue, 12 Sep 2000 17:39:29 +0200 tuned handling of "intros";
wenzelm [Tue, 12 Sep 2000 17:39:29 +0200] rev 9939
tuned handling of "intros";
Tue, 12 Sep 2000 17:38:49 +0200 delrule: handle dest rules as well;
wenzelm [Tue, 12 Sep 2000 17:38:49 +0200] rev 9938
delrule: handle dest rules as well; replaced "delrule" by "rule del";
Tue, 12 Sep 2000 17:35:09 +0200 replaced "delrule" by "rule del";
wenzelm [Tue, 12 Sep 2000 17:35:09 +0200] rev 9937
replaced "delrule" by "rule del";
Tue, 12 Sep 2000 17:34:50 +0200 renamed "delrule" to "rule del";
wenzelm [Tue, 12 Sep 2000 17:34:50 +0200] rev 9936
renamed "delrule" to "rule del";
Tue, 12 Sep 2000 17:34:41 +0200 tuned;
wenzelm [Tue, 12 Sep 2000 17:34:41 +0200] rev 9935
tuned;
Tue, 12 Sep 2000 17:01:14 +0200 tuned;
wenzelm [Tue, 12 Sep 2000 17:01:14 +0200] rev 9934
tuned;
Tue, 12 Sep 2000 15:43:15 +0200 *** empty log message ***
nipkow [Tue, 12 Sep 2000 15:43:15 +0200] rev 9933
*** empty log message ***
Tue, 12 Sep 2000 14:59:44 +0200 *** empty log message ***
nipkow [Tue, 12 Sep 2000 14:59:44 +0200] rev 9932
*** empty log message ***
Tue, 12 Sep 2000 10:50:29 +0200 added MicroJava/document/root.bib;
wenzelm [Tue, 12 Sep 2000 10:50:29 +0200] rev 9931
added MicroJava/document/root.bib;
Tue, 12 Sep 2000 10:27:16 +0200 tidying and updating for revised Mutilated Chess Board article
paulson [Tue, 12 Sep 2000 10:27:16 +0200] rev 9930
tidying and updating for revised Mutilated Chess Board article
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip