isabelle-cookbook: File revisions

CookBook/document/root.tex

Sat, 14 Feb 2009 13:20:21 +0000	Christian Urban	polished and added more material to the package chapter	file \| diff \| annotate
Sat, 14 Feb 2009 00:24:05 +0000	Christian Urban	added an option for linenumbers to the chunk-antiquotation	file \| diff \| annotate
Sat, 14 Feb 2009 00:11:50 +0000	Christian Urban	more changes to the package chapter	file \| diff \| annotate
Fri, 13 Feb 2009 14:15:28 +0000	Christian Urban	some update of the package introduction	file \| diff \| annotate
Fri, 13 Feb 2009 09:57:08 +0000	Christian Urban	properly handled linenumbers in ML-text and Isar-proofs	file \| diff \| annotate
Wed, 11 Feb 2009 17:40:24 +0000	Christian Urban	*added to the tactical chapter; polished; added the tabularstar environment (which is just tabular)**	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
Fri, 06 Feb 2009 06:19:52 +0000	Christian Urban	tuned	file \| diff \| annotate

isabelle-cookbook