CookBook/Package/simple_inductive_package.ML
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
Thu, 29 Jan 2009 17:09:56 +0000 Christian Urban added a section that will eventually describe the code
Sat, 24 Jan 2009 21:38:52 +0000 Christian Urban adapted to changes in binding.ML
Mon, 15 Dec 2008 10:48:27 +0100 berghofe Adapted to changes in binding module.
Fri, 10 Oct 2008 17:13:21 +0200 berghofe Added new chapter about writing packages.
less more (0) tip