diff -r f49dc7e96235 -r bdd82350cf22 IsaMakefile
--- a/IsaMakefile	Mon Feb 09 01:12:00 2009 +0000
+++ b/IsaMakefile	Mon Feb 09 01:23:35 2009 +0000
@@ -1,11 +1,11 @@
 
 ## targets
 
-default: cookbook
+default: tutorial
 images: 
 test: 
 
-all: cookbook
+all: tutorial
 
 ## global settings
 
@@ -21,7 +21,7 @@
 
 ## CookBook
 
-cookbook: CookBook/ROOT.ML \
+tutorial: CookBook/ROOT.ML \
           CookBook/document/root.tex \
           CookBook/document/root.bib \
           CookBook/*.thy \