Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
doc-src/IsarImplementation/Makefile
changeset 26906 6e8152678e06
parent 26905 5cde053f16b8
child 30081 d66b34e46bdf 
     1.1 --- a/doc-src/IsarImplementation/Makefile	Thu May 15 18:04:16 2008 +0200
     1.2 +++ b/doc-src/IsarImplementation/Makefile	Thu May 15 18:12:24 2008 +0200
     1.3 @@ -15,10 +15,12 @@
     1.4  
     1.5  NAME = implementation
     1.6  
     1.7 -FILES = implementation.tex intro.tex Thy/document/prelim.tex Thy/document/logic.tex \
     1.8 -  Thy/document/tactic.tex Thy/document/proof.tex Thy/document/locale.tex \
     1.9 -  Thy/document/integration.tex style.sty ../iman.sty ../extra.sty ../isar.sty \
    1.10 -  ../pdfsetup.sty ../manual.bib ../proof.sty
    1.11 +FILES = implementation.tex intro.tex Thy/document/prelim.tex		\
    1.12 +  Thy/document/logic.tex Thy/document/tactic.tex			\
    1.13 +  Thy/document/proof.tex Thy/document/locale.tex			\
    1.14 +  Thy/document/integration.tex style.sty ../iman.sty ../extra.sty	\
    1.15 +  ../isar.sty ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty	\
    1.16 +  ../manual.bib ../proof.sty
    1.17  
    1.18  dvi: $(NAME).dvi
    1.19
wneuper/isa