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 12101 a79681a01f41
parent 12074 10941435e5f4
child 12196 a3be6b3a9c0b 
--- a/src/HOL/IsaMakefile	Thu Nov 08 00:26:41 2001 +0100
+++ b/src/HOL/IsaMakefile	Thu Nov 08 17:42:43 2001 +0100
@@ -532,7 +532,7 @@
   ex/Ring.ML ex/Ring.thy ex/StringEx.thy ex/Tarski.ML \
   ex/Tarski.thy ex/Tuple.thy ex/cla.ML ex/mesontest.ML ex/mesontest2.ML \
   ex/mesontest2.thy ex/set.ML ex/set.thy ex/svc_test.ML ex/svc_test.thy \
-  ex/document/root.tex
+  ex/document/root.bib ex/document/root.tex
 	@$(ISATOOL) usedir $(OUT)/HOL ex
isabelle