Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add root.bib for Word document
authorkleing
Mon, 05 Nov 2007 22:50:48 +0100
changeset 25298 63f6d969253e
parent 25297 a5d689d04426
child 25299 c3542f70b0fd
add root.bib for Word document
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Mon Nov 05 22:50:00 2007 +0100
+++ b/src/HOL/IsaMakefile	Mon Nov 05 22:50:48 2007 +0100
@@ -833,7 +833,7 @@
   Word/WordShift.thy \
   Word/WordGenLib.thy \
   Word/WordMain.thy \
-  Word/document/root.tex
+  Word/document/root.tex Word/document/root.bib
 	@cd Word; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Word
isabelle