Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
Tue, 06 Aug 2002 11:22:05 +0200 | wenzelm | sane interface for simprocs; | file | diff | annotate |
Thu, 19 Aug 1999 19:55:13 +0200 | wenzelm | quite a lot of tuning an cleanup; | file | diff | annotate |
Thu, 22 Apr 1999 10:56:37 +0200 | mueller | added modelchecker mucke besides modelchecker eindhoven; | file | diff | annotate |