diff -r 8939b8fd8603 -r 069d525f8f1d IsaMakefile
--- a/IsaMakefile	Wed Mar 18 23:52:51 2009 +0100
+++ b/IsaMakefile	Thu Mar 19 13:28:16 2009 +0100
@@ -16,23 +16,23 @@
 USEDIR = $(ISATOOL) usedir -v true -D generated
 
 rail:
-	rail CookBook/generated/root
-	cp CookBook/generated/root.rao CookBook/document
+	rail ProgTutorial/generated/root
+	cp ProgTutorial/generated/root.rao ProgTutorial/document
 
-tutorial: CookBook/ROOT.ML \
-          CookBook/document/root.tex \
-          CookBook/document/root.bib \
-          CookBook/*.thy \
-          CookBook/*.ML \
-          CookBook/Recipes/*.thy \
-          CookBook/Package/*.thy \
-          CookBook/Package/*.ML 
-	$(USEDIR) HOL CookBook
-	$(ISATOOL) version > CookBook/generated/version 
-	$(ISATOOL) document -o pdf  CookBook/generated
-	@cp CookBook/document.pdf cookbook.pdf
+tutorial: ProgTutorial/ROOT.ML \
+          ProgTutorial/document/root.tex \
+          ProgTutorial/document/root.bib \
+          ProgTutorial/*.thy \
+          ProgTutorial/*.ML \
+          ProgTutorial/Recipes/*.thy \
+          ProgTutorial/Package/*.thy \
+          ProgTutorial/Package/*.ML 
+	$(USEDIR) HOL ProgTutorial
+	$(ISATOOL) version > ProgTutorial/generated/version 
+	$(ISATOOL) document -o pdf  ProgTutorial/generated
+	@cp ProgTutorial/document.pdf progtutorial.pdf
 
 ## clean
 
 clean:
-	@rm -f CookBook/generated/*
+	@rm -f ProgTutorial/generated/*