isabelle-cookbook: File revisions

ProgTutorial/document/root.tex

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

isabelle-cookbook