doc-src/gfx/isabelle.eps
Fri, 23 Oct 1998 10:38:20 +0200 wenzelm updated by isatool logo;
Thu, 27 Aug 1998 14:08:32 +0200 wenzelm tuned doc name;
Thu, 27 Aug 1998 11:19:35 +0200 wenzelm fake proper eps header;
Wed, 26 Aug 1998 16:33:29 +0200 wenzelm moved images to gfx dir;
less more (0) tip