isabelle-cookbook: File revisions

cookbook.pdf

Mon, 24 Nov 2008 02:51:08 +0100	Christian Urban	added more material	file \| diff \| annotate
Sat, 01 Nov 2008 15:20:36 +0100	Christian Urban	fixed FIXME's in fake responses	file \| diff \| annotate
Thu, 30 Oct 2008 13:36:51 +0100	Christian Urban	*hakked latex so that it does not display ML { }; general tuning*	file \| diff \| annotate
Wed, 29 Oct 2008 21:49:43 +0100	Christian Urban	deleted old antiquote_setup and renamed antiquote_setup_plus to antiquuote_setup	file \| diff \| annotate
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

isabelle-cookbook