Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
HOL-Complex with proof terms
authorhaftmann
Mon, 30 Jun 2008 13:41:30 +0200
changeset 27396 77ea650bfc3a
parent 27395 67330748a72e
child 27397 1d8456c5d53d
HOL-Complex with proof terms
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Mon Jun 30 13:41:28 2008 +0200
+++ b/src/HOL/IsaMakefile	Mon Jun 30 13:41:30 2008 +0200
@@ -321,7 +321,7 @@
   Tools/Qelim/ferrante_rackoff_data.ML \
   Tools/Qelim/langford.ML \
   Tools/Qelim/langford_data.ML
-	@cd Complex; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Complex
+	@cd Complex; $(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -g true $(OUT)/HOL HOL-Complex
 
 
 ## HOL-Complex-ex
isabelle