1.1 --- a/doc-src/IsarImplementation/Makefile	Thu Feb 26 20:57:59 2009 +0100
     1.2 +++ b/doc-src/IsarImplementation/Makefile	Thu Feb 26 21:16:53 2009 +0100
     1.3 @@ -10,12 +10,12 @@
     1.4  
     1.5  NAME = implementation
     1.6  
     1.7 -FILES = implementation.tex Thy/document/Prelim.tex			\
     1.8 -  Thy/document/Logic.tex Thy/document/Tactic.tex			\
     1.9 -  Thy/document/Proof.tex Thy/document/Local_Theory.tex			\
    1.10 -  Thy/document/Integration.tex style.sty ../iman.sty ../extra.sty	\
    1.11 -  ../isar.sty ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty	\
    1.12 -  ../manual.bib ../proof.sty
    1.13 +FILES = ../extra.sty ../iman.sty ../isabelle.sty ../isabellesym.sty	\
    1.14 +  ../isar.sty ../manual.bib ../pdfsetup.sty ../proof.sty		\
    1.15 +  Thy/document/Integration.tex Thy/document/Local_Theory.tex		\
    1.16 +  Thy/document/Logic.tex Thy/document/Prelim.tex			\
    1.17 +  Thy/document/Proof.tex Thy/document/Syntax.tex			\
    1.18 +  Thy/document/Tactic.tex implementation.tex style.sty
    1.19  
    1.20  dvi: $(NAME).dvi
    1.21