isabelle-cookbook: File revisions

CookBook/Package/Ind_Interface.thy

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 01:05:31 +0000	Christian Urban	slightly updated	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
Thu, 29 Jan 2009 09:46:17 +0000	Christian Urban	adaptation of the package chapter to fit the rest	file \| diff \| annotate
Sat, 24 Jan 2009 21:38:52 +0000	Christian Urban	adapted to changes in binding.ML	file \| diff \| annotate
Wed, 14 Jan 2009 21:46:04 +0000	Christian Urban	removed mytable from root-file	file \| diff \| annotate
Sat, 03 Jan 2009 20:44:54 +0000	Christian Urban	doem tuning and made the cookbook work again with recent changes (CookBook/Package/Ind_Interface.thy needs to be looked at to see what the problem with the new parser type is)	file \| diff \| annotate

isabelle-cookbook