isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

doc-src/IsarRef/Makefile

2008-06-02	wenzelm	removed obsolete basics.tex;	file \| diff \| annotate
2008-06-02	wenzelm	renamed theory "syntax" to "Outer_Syntax";	file \| diff \| annotate
2008-06-02	wenzelm	renamed theory "intro" to "Introduction";	file \| diff \| annotate
2008-05-15	wenzelm	use ../isabelle.sty, ../isabellesym.sty;	file \| diff \| annotate
2008-05-15	wenzelm	depend on ../pdfsetup.sty;	file \| diff \| annotate
2008-05-09	wenzelm	added chapters for "Specifications" and "Proofs";	file \| diff \| annotate
2008-05-08	wenzelm	depend on style.sty;	file \| diff \| annotate
2008-05-08	wenzelm	converted HOL specific elements;	file \| diff \| annotate
2008-05-07	wenzelm	removed obsolete conversion guide -- converted only section on tactics;	file \| diff \| annotate
2008-05-05	wenzelm	converted generic.tex to Thy/Generic.thy;	file \| diff \| annotate
2008-05-03	wenzelm	converted refcard.tex to Thy/Quick_Reference.thy;	file \| diff \| annotate
2008-05-02	wenzelm	converted pure.tex to Thy/pure.thy;	file \| diff \| annotate
2008-04-28	wenzelm	converted syntax.tex to Thy/syntax.thy;	file \| diff \| annotate
2008-04-23	wenzelm	converted intro.tex to Thy/intro.thy;	file \| diff \| annotate
2002-01-03	wenzelm	next round of updates;	file \| diff \| annotate
2002-01-02	wenzelm	added zf.tex;	file \| diff \| annotate
2000-08-28	wenzelm	proper setup of iman.sty/extra.sty/ttbox.sty;	file \| diff \| annotate
2000-08-14	wenzelm	added conversion.tex;	file \| diff \| annotate
2000-05-08	wenzelm	improved indexing;	file \| diff \| annotate
1999-10-21	wenzelm	updated;	file \| diff \| annotate
1999-07-30	wenzelm	more;	file \| diff \| annotate
1999-07-30	wenzelm	more stuff;	file \| diff \| annotate
1999-07-20	wenzelm	checkpoint;	file \| diff \| annotate
1999-07-19	wenzelm	skeleton only;	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom