# HG changeset patch
# User berghofe
# Date 1223651320 -7200
# Node ID a9ca91c990ba0dc61dea5173603450dfb3fe139a
# Parent  104af757fbf0daba91cff58f0db920090089c743
Added chapter about writing packages.

diff -r 104af757fbf0 -r a9ca91c990ba IsaMakefile
--- a/IsaMakefile	Fri Oct 10 17:08:15 2008 +0200
+++ b/IsaMakefile	Fri Oct 10 17:08:40 2008 +0200
@@ -21,7 +21,11 @@
 cookbook: CookBook/ROOT.ML \
           CookBook/document/root.tex \
           CookBook/document/root.bib \
-          CookBook/*.thy
+          CookBook/*.thy \
+          CookBook/*.ML \
+          CookBook/Recipes/*.thy \
+          CookBook/Package/*.thy \
+          CookBook/Package/*.ML
 	$(USEDIR) HOL CookBook
 	$(ISATOOL) document -o pdf  CookBook/generated
 	@cp CookBook/document.pdf cookbook.pdf