isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

doc-src/Intro/intro.tex

2003-08-13	paulson	corrections by Viktor Kuncak and minor updating	file \| diff \| annotate
2000-08-28	wenzelm	proper setup of iman.sty/extra.sty/ttbox.sty;	file \| diff \| annotate
2000-05-26	paulson	updated acknowledgements	file \| diff \| annotate
2000-05-08	wenzelm	improved indexing;	file \| diff \| annotate
1999-10-11	wenzelm	a4paper;	file \| diff \| annotate
1999-05-06	wenzelm	pdf setup;	file \| diff \| annotate
1999-05-05	paulson	Now uses manual.bib; some references updated	file \| diff \| annotate
1998-07-21	wenzelm	fixed isabelle logo;	file \| diff \| annotate
1998-07-21	wenzelm	fixed isabelle logo;	file \| diff \| annotate
1998-07-20	wenzelm	added pdfsetup and isabelle logo;	file \| diff \| annotate
1997-11-20	paulson	No more makeatletter/other	file \| diff \| annotate
1997-05-22	wenzelm	fixed packages;	file \| diff \| annotate
1997-05-07	paulson	New acknowledgements; no Fast_tac	file \| diff \| annotate
1997-05-02	berghofe	Updated to LaTeX 2e	file \| diff \| annotate
1997-04-17	paulson	Removed the \date{} command in order to put the date of typesetting on the	file \| diff \| annotate
1997-02-20	wenzelm	made a bit more robust;	file \| diff \| annotate
1996-07-22	paulson	Updated BibTeX identifiers	file \| diff \| annotate
1996-07-16	paulson	Acknowledged Stefan Berghofer for finding errors	file \| diff \| annotate
1995-07-25	lcp	now uses proof209.sty	file \| diff \| annotate
1995-01-24	lcp	\bibliography now includes crossref.bib	file \| diff \| annotate
1994-05-03	lcp	post-CRC corrections	file \| diff \| annotate
1994-04-15	lcp	penultimate Springer draft	file \| diff \| annotate
1994-03-24	lcp	revisions to first Springer draft	file \| diff \| annotate
1993-12-03	lcp	Changed Acknowledgements	file \| diff \| annotate
1993-11-10	lcp	Initial revision	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom