doc-src/Intro/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-05-18 paulson 1999-05-18 ../manual.bib a new dependency
1999-05-10 wenzelm 1999-05-10 tuned;
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-05-07 wenzelm 1999-05-07 replaced png by pdf;
1999-05-06 wenzelm 1999-05-06 pdf setup;
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 added 'clean';
1997-05-02 berghofe 1997-05-02 Updated to LaTeX 2e
1997-02-20 wenzelm 1997-02-20 added dist;
1997-02-20 wenzelm 1997-02-20 made a bit more robust;
1995-04-14 lcp 1995-04-14 Removes (obsolete) target if already present.
1994-09-12 lcp 1994-09-12 New Makefile for Introduction