isabelle-cookbook: File revisions

CookBook/document/root.tex

Wed, 29 Oct 2008 21:46:33 +0100	Christian Urban	added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual	file \| diff \| annotate
Wed, 29 Oct 2008 13:58:36 +0100	Christian Urban	added positions to anti-quotations; removed old antiquotation_setup; tuned the text a bit	file \| diff \| annotate
Mon, 27 Oct 2008 18:48:52 +0100	Christian Urban	tuned mostly antiquotation and text	file \| diff \| annotate
Mon, 20 Oct 2008 06:22:11 +0000	Christian Urban	further progress on the parsing section and tuning on the antiqu's	file \| diff \| annotate
Fri, 17 Oct 2008 05:02:04 -0400	Christian Urban	substantial changes to the antiquotations (preliminary version)	file \| diff \| annotate
Tue, 14 Oct 2008 01:33:55 -0400	Christian Urban	added a preliminary section about parsing	file \| diff \| annotate
Mon, 13 Oct 2008 17:53:13 +0200	berghofe	Adjusted margins.	file \| diff \| annotate
Fri, 10 Oct 2008 17:12:30 +0200	berghofe	Added alltt, rail, and url.	file \| diff \| annotate

isabelle-cookbook