| 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 |
| Thu, 21 Feb 2002 09:54:08 +0100 | kleing | new document | file | diff | annotate |
| Thu, 17 Jan 2002 09:01:10 +0100 | kleing | fixed | file | diff | annotate |
| Tue, 15 Jan 2002 22:22:05 +0100 | kleing | use exec_lub instead of some_lub | file | diff | annotate |
| Mon, 17 Dec 2001 13:25:18 +0100 | kleing | fixed JVMListExample | file | diff | annotate |
| Sun, 16 Dec 2001 00:19:54 +0100 | kleing | temporarily removed JVMListExample | file | diff | annotate |
| Mon, 10 Dec 2001 15:24:22 +0100 | berghofe | Added examples for code generator. | file | diff | annotate |
| Mon, 05 Feb 2001 20:14:15 +0100 | oheimb | improved document (added headers etc) | file | diff | annotate |
| Thu, 01 Feb 2001 20:53:13 +0100 | oheimb | converted to Isar, simplifying recursion on class hierarchy | file | diff | annotate |