isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

doc-src/Logics/Makefile

2000-08-28	wenzelm	proper setup of iman.sty/extra.sty/ttbox.sty;	file \| diff \| annotate
2000-05-08	wenzelm	improved indexing;	file \| diff \| annotate
1999-08-03	paulson	new chapter on Sequents	file \| diff \| annotate
1999-05-18	paulson	../manual.bib a new dependency	file \| diff \| annotate
1999-05-10	wenzelm	tuned;	file \| diff \| annotate
1999-05-10	wenzelm	pdf setup;	file \| diff \| annotate
1999-05-05	wenzelm	isabelle.eps;	file \| diff \| annotate
1999-05-05	wenzelm	improved Makefile;	file \| diff \| annotate
1999-05-04	wenzelm	removed HOL.tex;	file \| diff \| annotate
1999-01-08	paulson	removal of FOL, ZF to a separate manual	file \| diff \| annotate
1998-09-24	oheimb	workaround for litte bug in our ln command	file \| diff \| annotate
1998-08-26	wenzelm	moved images to gfx dir;	file \| diff \| annotate
1998-07-21	wenzelm	fixed isabelle logo;	file \| diff \| annotate
1997-05-12	wenzelm	added 'clean';	file \| diff \| annotate
1997-05-02	berghofe	Updated to LaTeX 2e	file \| diff \| annotate
1997-02-20	wenzelm	made a bit more robust for 'make dist';	file \| diff \| annotate
1996-04-25	paulson	Now calls "rail" to update datatype syntax charts	file \| diff \| annotate
1995-08-10	paulson	Handle renaming of CHOL.tex to HOL.tex	file \| diff \| annotate
1995-06-29	clasohm	changed 'chol' labels to 'hol'; added a few parentheses	file \| diff \| annotate
1995-04-14	lcp	Removes (obsolete) target if already present.	file \| diff \| annotate
1994-09-12	lcp	New Makefile for Logics Manual	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom