isabelle-cookbook: File revisions

cookbook.pdf

2008-10-29	Christian Urban	deleted old antiquote_setup and renamed antiquote_setup_plus to antiquuote_setup	file \| diff \| annotate
2008-10-29	Christian Urban	added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual	file \| diff \| annotate
2008-10-29	Christian Urban	added positions to anti-quotations; removed old antiquotation_setup; tuned the text a bit	file \| diff \| annotate
2008-10-27	Christian Urban	tuned mostly antiquotation and text	file \| diff \| annotate
2008-10-20	Christian Urban	further progress on the parsing section and tuning on the antiqu's	file \| diff \| annotate
2008-10-17	Christian Urban	more on the parsing section	file \| diff \| annotate
2008-10-17	Christian Urban	substantial changes to the antiquotations (preliminary version)	file \| diff \| annotate
2008-10-14	Christian Urban	added a preliminary section about parsing	file \| diff \| annotate
2008-10-13	berghofe	Updated.	file \| diff \| annotate
2008-10-10	berghofe	Updated.	file \| diff \| annotate
2008-10-09	Christian Urban	new version of implementation.aux	file \| diff \| annotate
2008-10-09	Christian Urban	added a proof and tuned the rest	file \| diff \| annotate
2008-10-06	Christian Urban	some slight polishing	file \| diff \| annotate
2008-10-05	Christian Urban	some tuning in the FirstSteps section	file \| diff \| annotate

isabelle-cookbook