doc-src/System/Makefile
1999-05-05 wenzelm 1999-05-05 improved Makefile;
1998-09-24 oheimb 1998-09-24 workaround for litte bug in our ln command
1998-08-26 wenzelm 1998-08-26 moved images to gfx dir;
1998-07-21 wenzelm 1998-07-21 fixed isabelle logo;
1997-05-12 wenzelm 1997-05-12 *** empty log message ***
1997-05-12 wenzelm 1997-05-12 The Isabelle System Manual;