doc-src/System/Makefile
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-05-08 wenzelm 2000-05-08 improved indexing;
1999-08-16 wenzelm 1999-08-16 bib;
1999-05-10 wenzelm 1999-05-10 tuned;
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-05-05 wenzelm 1999-05-05 fixed FILES;
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;