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/IsarImplementation/Makefile
changeset 26905 5cde053f16b8
parent 18537 2681f9e34390
child 26906 6e8152678e06 
--- a/doc-src/IsarImplementation/Makefile	Thu May 15 18:04:02 2008 +0200
+++ b/doc-src/IsarImplementation/Makefile	Thu May 15 18:04:16 2008 +0200
@@ -18,7 +18,7 @@
 FILES = implementation.tex intro.tex Thy/document/prelim.tex Thy/document/logic.tex \
   Thy/document/tactic.tex Thy/document/proof.tex Thy/document/locale.tex \
   Thy/document/integration.tex style.sty ../iman.sty ../extra.sty ../isar.sty \
-  ../manual.bib ../proof.sty
+  ../pdfsetup.sty ../manual.bib ../proof.sty
 
 dvi: $(NAME).dvi
isabelle