isabelle-cookbook: File revisions

CookBook/Base.thy

Fri, 06 Mar 2009 16:12:16 +0000	Christian Urban	rolled back the changes on the function warning and tracing	file \| diff \| annotate
Thu, 05 Mar 2009 16:46:43 +0000	Christian Urban	redefined the functions warning and tracing in order to properly match more antiquotations	file \| diff \| annotate
Mon, 09 Feb 2009 01:23:35 +0000	Christian Urban	renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)	file \| diff \| annotate
Mon, 26 Jan 2009 12:29:43 +0000	Christian Urban	tuned	file \| diff \| annotate
Thu, 08 Jan 2009 22:47:15 +0000	Christian Urban	deleted old files and added code to give a special tag to the command ML	file \| diff \| annotate
Tue, 16 Dec 2008 17:37:39 +0100	berghofe	Repaired output of marginal comments in ML antiquotation.	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
Fri, 10 Oct 2008 16:59:35 +0200	berghofe	New theory for installing antiquotations.	file \| diff \| annotate

isabelle-cookbook