1.1 --- a/doc-src/IsarAdvanced/Classes/Makefile	Thu May 15 20:02:40 2008 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Classes/Makefile	Thu May 15 20:02:42 2008 +0200
     1.3 @@ -15,6 +15,7 @@
     1.4  
     1.5  FILES = $(NAME).tex classes.tex Thy/document/Classes.tex \
     1.6    style.sty ../../iman.sty ../../extra.sty ../../isar.sty \
     1.7 +  ../../isabelle.sty ../../isabellesym.sty ../../pdfsetup.sty \
     1.8    ../../manual.bib ../../proof.sty
     1.9  
    1.10  dvi: $(NAME).dvi