Fri, 23 Oct 1998 10:38:20 +0200 | wenzelm | updated by isatool logo; | file | diff | annotate |
Thu, 27 Aug 1998 14:08:32 +0200 | wenzelm | tuned doc name; | file | diff | annotate |
Thu, 27 Aug 1998 11:19:35 +0200 | wenzelm | fake proper eps header; | file | diff | annotate |
Wed, 26 Aug 1998 16:33:29 +0200 | wenzelm | moved images to gfx dir; | file | diff | annotate |