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.
src/HOL/IsaMakefile
changeset 16187 6ec757011ad6
parent 16090 fbb5ae140535
child 16356 94011cf701a4 
--- a/src/HOL/IsaMakefile	Thu Jun 02 18:29:46 2005 +0200
+++ b/src/HOL/IsaMakefile	Thu Jun 02 18:29:47 2005 +0200
@@ -114,7 +114,7 @@
   antisym_setup.ML arith_data.ML blastdata.ML cladata.ML			\
   document/root.tex eqrule_HOL_data.ML hologic.ML simpdata.ML			\
   thy_syntax.ML
-	@$(ISATOOL) usedir -b -g true $(HOL_PROOF_OBJECTS) $(OUT)/Pure HOL
+	@$(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -g true $(OUT)/Pure HOL
 
 
 ## HOL-Complex-HahnBanach
isabelle