| Wed, 23 Oct 2002 16:09:02 +0200 | streckem | Added compiler | file | diff | annotate |
| Tue, 08 Oct 2002 14:08:50 +0200 | kleing | defensive machine | file | diff | annotate |
| Sat, 15 Jun 2002 22:57:33 +0200 | kleing | LBV instantiated for JVM | file | diff | annotate |
| Wed, 27 Mar 2002 20:45:03 +0100 | kleing | added lbv completeness | file | diff | annotate |
| Wed, 20 Mar 2002 13:21:07 +0100 | kleing | small refactoring for lbv with semilattices | file | diff | annotate |
| Thu, 28 Feb 2002 18:16:23 +0100 | kleing | included LBVSpec again | file | diff | annotate |
| Tue, 26 Feb 2002 15:45:32 +0100 | kleing | introduces SystemClasses and BVExample | file | diff | annotate |