doc-src/System/Makefile
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;