doc-src/System/Makefile
Wed, 26 Aug 1998 16:33:29 +0200 wenzelm moved images to gfx dir;
Tue, 21 Jul 1998 16:41:12 +0200 wenzelm fixed isabelle logo;
Mon, 12 May 1997 18:34:49 +0200 wenzelm *** empty log message ***
Mon, 12 May 1997 18:26:53 +0200 wenzelm The Isabelle System Manual;
less more (0) tip