| Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| Wed, 11 Nov 2009 14:15:11 +0100 | wenzelm | uniform use of simultabeous use_thys; | file | diff | annotate |
| Fri, 25 Jul 2008 12:03:31 +0200 | haftmann | added explicit root theory; some tuning | file | diff | annotate |
| Mon, 30 Jul 2007 19:46:13 +0200 | wenzelm | simultaneous use_thys; | file | diff | annotate |
| 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 |