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 11398 d7711be8c3a9
parent 11394 e88c2c89f98e
child 11447 559c304bc6b2 
--- a/src/HOL/IsaMakefile	Tue Jul 03 15:40:25 2001 +0200
+++ b/src/HOL/IsaMakefile	Tue Jul 03 22:11:09 2001 +0200
@@ -187,9 +187,9 @@
   Library/Quotient.thy Library/Ring_and_Field.thy \
   Library/Ring_and_Field_Example.thy Library/Nat_Infinity.thy \
   Library/README.html Library/Continuity.thy \
-  Library/Nested_Environment.thy Library/Rational_Numbers.thy Library/ROOT.ML \
-  Library/While_Combinator.thy
-	@$(ISATOOL) usedir $(OUT)/HOL Library
+  Library/Nested_Environment.thy Library/Rational_Numbers.thy \
+  Library/Library/ROOT.ML Library/While_Combinator.thy
+	@cd Library; $(ISATOOL) usedir $(OUT)/HOL Library
 
 
 ## HOL-Subst
isabelle