| Fri, 23 Oct 1998 10:38:20 +0200 | wenzelm | updated by isatool logo; | 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 |