isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

doc/Contents

2009-10-26	wenzelm	added nitpick manual here;	file \| diff \| annotate
2009-04-02	wenzelm	misc tuning for release;	file \| diff \| annotate
2009-03-12	wenzelm	updated according to actual manual title;	file \| diff \| annotate
2009-03-11	wenzelm	tuned;	file \| diff \| annotate
2009-03-11	wenzelm	basic setup for "main" as generated Isabelle manual;	file \| diff \| annotate
2009-03-04	blanchet	Merge.	file \| diff \| annotate
2009-03-04	blanchet	Merge.	file \| diff \| annotate
2009-02-26	wenzelm	more explicit indication of old manuals;	file \| diff \| annotate
2009-02-15	wenzelm	explicit section for old/outdated manuals, which are still informative to some extent;	file \| diff \| annotate
2007-10-31	haftmann	dropped AxClass	file \| diff \| annotate
2007-10-30	haftmann	added omission	file \| diff \| annotate
2007-04-20	haftmann	added class tutorial	file \| diff \| annotate
2006-12-18	haftmann	added functions tutorial	file \| diff \| annotate
2006-10-10	haftmann	added IsarAdvanced material	file \| diff \| annotate
2006-10-02	haftmann	restructured contents	file \| diff \| annotate
2006-01-03	wenzelm	added implementation manual;	file \| diff \| annotate
2004-12-06	kleing	add latex sugar	file \| diff \| annotate
2004-11-17	kleing	removed Exercises document (available on separate web site now)	file \| diff \| annotate
2004-04-16	kleing	add locales	file \| diff \| annotate
2004-03-29	kleing	include exercises again	file \| diff \| annotate
2004-03-29	kleing	put in sections, reorganized, removed intro to isabelle	file \| diff \| annotate
2003-05-12	kleing	added isar-overview	file \| diff \| annotate
2003-03-01	kleing	added exercises	file \| diff \| annotate
2000-07-04	wenzelm	tuned;	file \| diff \| annotate
1999-07-19	wenzelm	added isar-ref;	file \| diff \| annotate
1999-05-04	wenzelm	updated;	file \| diff \| annotate
1998-08-27	wenzelm	made tutorial first;	file \| diff \| annotate
1998-08-26	wenzelm	fixed tutorial;	file \| diff \| annotate
1998-08-26	wenzelm	added HOL tutorial;	file \| diff \| annotate
1997-05-12	wenzelm	added system, ind_defs, axclass;	file \| diff \| annotate
1996-12-09	wenzelm	Contents - list of available documentation;	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom