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.
doc-src/IsarRef/Makefile
changeset 26898 0fffc7bc3604
parent 26869 3bc332135aa7
child 26906 6e8152678e06 
--- a/doc-src/IsarRef/Makefile	Thu May 15 17:37:17 2008 +0200
+++ b/doc-src/IsarRef/Makefile	Thu May 15 17:37:18 2008 +0200
@@ -20,7 +20,7 @@
   Thy/document/ZF_Specific.tex Thy/document/intro.tex \
   Thy/document/pure.tex Thy/document/syntax.tex \
   ../isar.sty ../rail.sty ../railsetup.sty ../proof.sty \
-  ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
+  ../iman.sty ../extra.sty ../ttbox.sty ../pdfsetup.sty ../manual.bib
 
 dvi: $(NAME).dvi
isabelle