| Fri, 05 May 2000 22:23:27 +0200 | wenzelm | updated; | file | diff | annotate |
| Thu, 22 Apr 1999 15:16:59 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 13 Apr 1999 12:35:28 +0200 | wenzelm | adapted isatool install; | file | diff | annotate |
| Wed, 10 Mar 1999 17:24:26 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 08 Feb 1999 15:55:35 +0100 | wenzelm | no deps on compile time sources; | file | diff | annotate |
| Thu, 27 Aug 1998 18:36:23 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 27 Aug 1998 18:34:55 +0200 | wenzelm | isatool install; | file | diff | annotate |