Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/AxClass/IsaMakefile
changeset 28500 4b79e5d3d0aa
parent 25988 89a03048f312 
--- a/doc-src/AxClass/IsaMakefile	Sat Oct 04 16:05:08 2008 +0200
+++ b/doc-src/AxClass/IsaMakefile	Sat Oct 04 16:05:09 2008 +0200
@@ -13,7 +13,7 @@
 SRC = $(ISABELLE_HOME)/src
 OUT = $(ISABELLE_OUTPUT)
 LOG = $(OUT)/log
-USEDIR = $(ISATOOL) usedir -d false -D document
+USEDIR = $(ISABELLE_TOOL) usedir -d false -D document
 
 
 ## Group
@@ -21,7 +21,7 @@
 Group: HOL $(LOG)/HOL-Group.gz
 
 HOL:
-	@cd $(SRC)/HOL; $(ISATOOL) make HOL
+	@cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOL
 
 $(LOG)/HOL-Group.gz: $(OUT)/HOL Group/ROOT.ML Group/Group.thy \
   Group/Product.thy Group/Semigroups.thy
@@ -34,7 +34,7 @@
 Nat: FOL $(LOG)/FOL-Nat.gz
 
 FOL:
-	@cd $(SRC)/FOL; $(ISATOOL) make FOL
+	@cd $(SRC)/FOL; $(ISABELLE_TOOL) make FOL
 
 $(LOG)/FOL-Nat.gz: $(OUT)/FOL Nat/ROOT.ML Nat/NatClass.thy
 	@$(USEDIR) $(OUT)/FOL Nat
isabelle