1.1 --- a/doc-src/IsarImplementation/Makefile	Fri Mar 06 09:35:43 2009 +0100
     1.2 +++ b/doc-src/IsarImplementation/Makefile	Fri Mar 06 11:25:54 2009 +0100
     1.3 @@ -12,10 +12,11 @@
     1.4  
     1.5  FILES = ../extra.sty ../iman.sty ../isabelle.sty ../isabellesym.sty	\
     1.6    ../isar.sty ../manual.bib ../pdfsetup.sty ../proof.sty		\
     1.7 -  Thy/document/Integration.tex Thy/document/Local_Theory.tex		\
     1.8 -  Thy/document/Logic.tex Thy/document/Prelim.tex			\
     1.9 -  Thy/document/Proof.tex Thy/document/Syntax.tex			\
    1.10 -  Thy/document/Tactic.tex implementation.tex style.sty
    1.11 +  Thy/document/Integration.tex Thy/document/Isar.tex			\
    1.12 +  Thy/document/Local_Theory.tex Thy/document/Logic.tex			\
    1.13 +  Thy/document/Prelim.tex Thy/document/Proof.tex			\
    1.14 +  Thy/document/Syntax.tex Thy/document/Tactic.tex implementation.tex	\
    1.15 +  style.sty
    1.16  
    1.17  dvi: $(NAME).dvi
    1.18