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 12051 650f854b7310
parent 12024 b3661262541e
child 12074 10941435e5f4 
--- a/src/HOL/IsaMakefile	Sun Nov 04 21:12:03 2001 +0100
+++ b/src/HOL/IsaMakefile	Mon Nov 05 13:55:48 2001 +0100
@@ -154,7 +154,8 @@
 HOL-Real-ex: HOL-Real $(LOG)/HOL-Real-ex.gz
 
 $(LOG)/HOL-Real-ex.gz: $(OUT)/HOL-Real Real/ex/ROOT.ML \
-  Real/ex/BinEx.thy Real/ex/document/root.tex Real/ex/Sqrt_Irrational.thy
+  Real/ex/BinEx.thy Real/ex/document/root.tex Real/ex/Sqrt_Irrational.thy\
+      Real/ex/Sqrt_Script.thy
 	@cd Real; $(ISATOOL) usedir $(OUT)/HOL-Real ex
isabelle