isabelle-cookbook: File revisions

Mercurial Mercurial > hg > isabelle-cookbook / file revisions

ProgTutorial/document/root.tex

2019-05-17	Norbert Schirmer	ommit cartouche while displaying ML	file \| diff \| annotate
2019-05-16	Norbert Schirmer	tuned ML-antiquotations; added intro portions.	file \| diff \| annotate
2019-05-14	Norbert Schirmer	Accomodate to Isabelle 2018	file \| diff \| annotate
2012-08-27	Christian Urban	adapted to new build framework	file \| diff \| annotate
2012-06-19	Christian Urban	added a new recipe for introspecting theorems (suggested by Lukas and Rafal)	file \| diff \| annotate
2012-04-30	Christian Urban	removed special ML-setup and replaced it by explicit markups (i.e., %grayML)	file \| diff \| annotate
2011-11-07	Christian Urban	more on contexts	file \| diff \| annotate
2011-10-27	Christian Urban	some tests	file \| diff \| annotate
2011-02-23	Christian Urban	updated to post-2011 Isabelle	file \| diff \| annotate
2010-06-02	Christian Urban	added Andreas	file \| diff \| annotate
2010-05-29	Christian Urban	added example from Tobias and changed the title	file \| diff \| annotate
2009-11-17	Christian Urban	added example by Lukas Bulwahn	file \| diff \| annotate
2009-11-03	Christian Urban	added structure index	file \| diff \| annotate
2009-10-31	Christian Urban	new parts in the tactical section	file \| diff \| annotate
2009-10-25	Christian Urban	some polishing	file \| diff \| annotate
2009-10-14	Christian Urban	slightly tuned	file \| diff \| annotate
2009-10-11	Christian Urban	fixed glitch with tocibind	file \| diff \| annotate
2009-10-10	Christian Urban	used a better implementation of \index in Latex; added more to the theorem section	file \| diff \| annotate
2009-10-03	Christian Urban	more work	file \| diff \| annotate
2009-08-20	Christian Urban	further polishing of index generation	file \| diff \| annotate
2009-08-18	Christian Urban	added exercise	file \| diff \| annotate
2009-08-03	Christian Urban	removed rail; added external aux-files	file \| diff \| annotate
2009-07-31	Christian Urban	renamed pictures	file \| diff \| annotate
2009-07-28	Christian Urban	slightly changed exercises about rev_sum	file \| diff \| annotate
2009-05-30	Christian Urban	corrected index references and minor polishing	file \| diff \| annotate
2009-05-30	Christian Urban	added some first index-information	file \| diff \| annotate
2009-05-30	Christian Urban	added infrastructure for index; antiquotations have now the options [index] and [indexc]	file \| diff \| annotate
2009-05-09	Christian Urban	added more to the pretty section and updated the acknowledgements	file \| diff \| annotate

less more (0) -28 tip

isabelle-cookbook

RSS Atom