changeset 26911 | 871cc7f11034 |
parent 23188 | 595a0e24bd8e |
--- a/doc-src/IsarAdvanced/Functions/Makefile Thu May 15 20:02:40 2008 +0200 +++ b/doc-src/IsarAdvanced/Functions/Makefile Thu May 15 20:02:42 2008 +0200 @@ -15,6 +15,7 @@ FILES = $(NAME).tex Thy/document/Functions.tex intro.tex conclusion.tex \ style.sty ../../iman.sty ../../extra.sty ../../isar.sty \ + ../../isabelle.sty ../../isabellesym.sty ../../pdfsetup.sty \ ../../manual.bib ../../proof.sty dvi: $(NAME).dvi