Wed, 13 Dec 2000 10:31:08 +0100 | kleing | removed sorry proof | file | diff | annotate |
Tue, 12 Dec 2000 14:08:48 +0100 | kleing | completeness (unfinished) | file | diff | annotate |
Sun, 10 Dec 2000 21:40:14 +0100 | kleing | kildall ==> wt_method for whole program | file | diff | annotate |
Thu, 07 Dec 2000 18:22:17 +0100 | kleing | updated for is_class changes | file | diff | annotate |
Wed, 06 Dec 2000 19:09:34 +0100 | oheimb | improved superclass entry for classes and definition status of is_class, class | file | diff | annotate |
Tue, 05 Dec 2000 14:08:56 +0100 | kleing | BCV Integration | file | diff | annotate |