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 17198 ffe8efe856e3
parent 17023 7425bf9f0f4b
child 17229 aca2ce40be35 
--- a/src/HOL/IsaMakefile	Wed Aug 31 15:46:34 2005 +0200
+++ b/src/HOL/IsaMakefile	Wed Aug 31 15:46:35 2005 +0200
@@ -166,8 +166,8 @@
 
 $(LOG)/HOL-Complex-ex.gz: $(OUT)/HOL-Complex Library/Primes.thy \
   Complex/ex/ROOT.ML Complex/ex/document/root.tex \
-  Complex/ex/BinEx.thy Complex/ex/NSPrimes.thy\
-  Complex/ex/Sqrt.thy Complex/ex/Sqrt_Script.thy
+  Complex/ex/BigO_Complex.thy Complex/ex/BinEx.thy \
+  Complex/ex/NSPrimes.thy Complex/ex/Sqrt.thy Complex/ex/Sqrt_Script.thy
 	@cd Complex; $(ISATOOL) usedir $(OUT)/HOL-Complex ex
isabelle