diff -r a63c3f8d7234 -r 67063c5365e1 IsaMakefile
--- a/IsaMakefile	Thu Feb 07 06:39:06 2013 +0000
+++ b/IsaMakefile	Sun Feb 10 19:49:07 2013 +0000
@@ -14,7 +14,7 @@
 OUT = $(ISABELLE_OUTPUT)
 LOG = $(OUT)/log
 
-USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -D generated
+USEDIR = $(ISABELLE_TOOL) usedir -v true -i false 
 
 
 ## utm
@@ -24,13 +24,13 @@
 $(OUT)/utm: thys/*.thy ROOT.ML
 	@$(USEDIR) -f ROOT.ML -b HOL UTM
 
-paper:  ROOT.ML \
-	document/root* \
-	*.thy
-	rm -rf generated # otherwise latex will fall over 
-	@$(USEDIR) -f ROOT1.ML UTM .
-	$(ISABELLE_TOOL) document -o pdf  generated
-	cp generated/root.pdf paper.pdf  
+#paper:  ROOT.ML \
+#	document/root* \
+#	*.thy
+#	rm -rf generated # otherwise latex will fall over 
+#	@$(USEDIR) -f ROOT1.ML UTM .
+#	$(ISABELLE_TOOL) document -o pdf  generated
+#	cp generated/root.pdf paper.pdf  
 
 ## ITP itp