doc-src/Logics/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-03 paulson 1999-08-03 new chapter on Sequents
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-05 wenzelm 1999-05-05 isabelle.eps;
1999-05-05 wenzelm 1999-05-05 improved Makefile; no rail;
1999-05-04 wenzelm 1999-05-04 removed HOL.tex;
1999-01-08 paulson 1999-01-08 removal of FOL, ZF to a separate manual
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 made a bit more robust for 'make dist';
1996-04-25 paulson 1996-04-25 Now calls "rail" to update datatype syntax charts
1995-08-10 paulson 1995-08-10 Handle renaming of CHOL.tex to HOL.tex
1995-06-29 clasohm 1995-06-29 changed 'chol' labels to 'hol'; added a few parentheses
1995-04-14 lcp 1995-04-14 Removes (obsolete) target if already present.
1994-09-12 lcp 1994-09-12 New Makefile for Logics Manual