isabelle-cookbook: File revisions

CookBook/FirstSteps.thy

Tue, 17 Feb 2009 02:12:19 +0000	Christian Urban	polished	file \| diff \| annotate
Sun, 15 Feb 2009 18:58:21 +0000	Christian Urban	some polishing; split up the file External Solver into two	file \| diff \| annotate
Sat, 14 Feb 2009 13:20:21 +0000	Christian Urban	polished and added more material to the package chapter	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 04:18:14 +0000	Christian Urban	polished and more material in the tactic chapter	file \| diff \| annotate
Sun, 08 Feb 2009 08:45:25 +0000	Christian Urban	polished	file \| diff \| annotate
Sat, 07 Feb 2009 12:05:02 +0000	Christian Urban	general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution	file \| diff \| annotate

isabelle-cookbook