diff -r 4f303da0cd2a -r a0bcf886b8ef utm/IsaMakefile
--- a/utm/IsaMakefile	Mon Mar 04 21:01:55 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,31 +0,0 @@
-
-## targets
-
-default: utm
-images: utm
-test: 
-
-all: images test
-
-
-## global settings
-
-SRC = $(ISABELLE_HOME)/src
-OUT = $(ISABELLE_OUTPUT)
-LOG = $(OUT)/log
-
-USEDIR = $(ISABELLE_TOOL) usedir -v true -i true -d pdf  ## -D generated
-
-
-## utm
-
-utm: $(OUT)/utm
-
-$(OUT)/utm: ## ROOT.ML document/root.tex *.thy
-	@$(USEDIR) -b HOL utm
-
-
-## clean
-
-clean:
-	@rm -f $(OUT)/utm