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.
Word/document/root.tex
authorhuffman
Mon, 20 Aug 2007 17:34:04 +0200
changeset 24339 d929e9b2e598
parent 24338 14787722149a
child 24340 811f78424efc
Word/document/root.tex
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Mon Aug 20 17:31:59 2007 +0200
+++ b/src/HOL/IsaMakefile	Mon Aug 20 17:34:04 2007 +0200
@@ -825,7 +825,8 @@
   Word/WordShift.thy \
   Word/WordGenLib.thy \
   Word/WordMain.thy \
-  Word/WordExamples.thy
+  Word/WordExamples.thy \
+  Word/document/root.tex
 	@cd Word; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Word
isabelle