isabelle-cookbook: File revisions

ProgTutorial/General.thy

2009-10-11	Christian Urban	fixed glitch with tocibind	file \| diff \| annotate
2009-10-10	Christian Urban	more work on theorem section	file \| diff \| annotate
2009-10-10	Christian Urban	more work	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-10	Christian Urban	more on the theorem section	file \| diff \| annotate
2009-10-09	Christian Urban	a bit more work on the theorem section	file \| diff \| annotate
2009-10-08	Christian Urban	polished on the pretty printing section	file \| diff \| annotate
2009-10-07	Christian Urban	reorganised the certified terms section; tuned	file \| diff \| annotate
2009-10-03	Christian Urban	more work	file \| diff \| annotate
2009-10-03	Christian Urban	updated to new Isabelle; more work on the data section	file \| diff \| annotate
2009-09-27	Christian Urban	some polishing	file \| diff \| annotate
2009-08-21	Christian Urban	added file for producing a keyword file	file \| diff \| annotate
2009-08-21	Christian Urban	split up the first-steps section into two chapters	file \| diff \| annotate

isabelle-cookbook