doc-src/IsarImplementation/Makefile
changeset 29755 d66b34e46bdf
parent 26906 6e8152678e06
child 29758 7a3b5bbed313
equal deleted inserted replaced
29754:2203ef9b55ce 29755:d66b34e46bdf
     1 #
       
     2 # $Id$
       
     3 #
       
     4 
     1 
     5 ## targets
     2 ## targets
     6 
     3 
     7 default: dvi
     4 default: dvi
     8 
     5 
    13 
    10 
    14 MAKEGLOSSARY = ./makeglossary
    11 MAKEGLOSSARY = ./makeglossary
    15 
    12 
    16 NAME = implementation
    13 NAME = implementation
    17 
    14 
    18 FILES = implementation.tex intro.tex Thy/document/prelim.tex		\
    15 FILES = implementation.tex Thy/document/Prelim.tex			\
    19   Thy/document/logic.tex Thy/document/tactic.tex			\
    16   Thy/document/Logic.tex Thy/document/Tactic.tex			\
    20   Thy/document/proof.tex Thy/document/locale.tex			\
    17   Thy/document/Proof.tex Thy/document/Local_Theory.tex			\
    21   Thy/document/integration.tex style.sty ../iman.sty ../extra.sty	\
    18   Thy/document/Integration.tex style.sty ../iman.sty ../extra.sty	\
    22   ../isar.sty ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty	\
    19   ../isar.sty ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty	\
    23   ../manual.bib ../proof.sty
    20   ../manual.bib ../proof.sty
    24 
    21 
    25 dvi: $(NAME).dvi
    22 dvi: $(NAME).dvi
    26 
    23