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.
depend on ../pdfsetup.sty;
authorwenzelm
Thu, 15 May 2008 17:37:18 +0200
changeset 26898 0fffc7bc3604
parent 26897 044619358d3a
child 26899 29bb3d1de3bc
depend on ../pdfsetup.sty;
doc-src/IsarRef/Makefile file | annotate | diff | comparison | revisions 
--- 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