     1.1 --- a/doc-src/IsarImplementation/Makefile	Thu May 15 18:04:02 2008 +0200
     1.2 +++ b/doc-src/IsarImplementation/Makefile	Thu May 15 18:04:16 2008 +0200
     1.3 @@ -18,7 +18,7 @@
     1.4  FILES = implementation.tex intro.tex Thy/document/prelim.tex Thy/document/logic.tex \
     1.5    Thy/document/tactic.tex Thy/document/proof.tex Thy/document/locale.tex \
     1.6    Thy/document/integration.tex style.sty ../iman.sty ../extra.sty ../isar.sty \
     1.7 -  ../manual.bib ../proof.sty
     1.8 +  ../pdfsetup.sty ../manual.bib ../proof.sty
     1.9  
    1.10  dvi: $(NAME).dvi
    1.11
changeset 26905	5cde053f16b8
parent 18537	2681f9e34390
child 26906	6e8152678e06