Mon, 23 Aug 1999 15:30:26 +0200 | wenzelm | isatool expandshort; | 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 |