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 22528 8501c4a62a3c
parent 22517 2f4c97414746
child 22631 7ae5a6ab7bd6 
--- a/src/HOL/IsaMakefile	Tue Mar 27 09:19:37 2007 +0200
+++ b/src/HOL/IsaMakefile	Tue Mar 27 12:28:42 2007 +0200
@@ -616,10 +616,10 @@
 
 HOL-ex: HOL $(LOG)/HOL-ex.gz
 
-$(LOG)/HOL-ex.gz: $(OUT)/HOL Library/Commutative_Ring.thy			\
-  ex/Abstract_NAT.thy ex/Antiquote.thy ex/BT.thy ex/BinEx.thy			\
+$(LOG)/HOL-ex.gz: $(OUT)/HOL Library/Commutative_Ring.thy                       \
+  ex/Abstract_NAT.thy ex/Antiquote.thy ex/BT.thy ex/BinEx.thy                   \
   ex/Chinese.thy ex/Classical.thy ex/Classpackage.thy                           \
-  ex/Eval_examples.thy ex/CodeRandom.thy ex/CodeRevappl.thy			\
+  ex/Eval_examples.thy ex/Random.thy                                            \
   ex/Codegenerator.thy ex/Codegenerator_Rat.thy                                 \
   ex/Commutative_RingEx.thy ex/Hex_Bin_Examples.thy                             \
   ex/Commutative_Ring_Complete.thy ex/ExecutableContent.thy                     \
isabelle