equal
deleted
inserted
replaced
13 |
13 |
14 NAME = functions |
14 NAME = functions |
15 |
15 |
16 FILES = $(NAME).tex Thy/document/Functions.tex intro.tex conclusion.tex \ |
16 FILES = $(NAME).tex Thy/document/Functions.tex intro.tex conclusion.tex \ |
17 style.sty ../iman.sty ../extra.sty ../isar.sty \ |
17 style.sty ../iman.sty ../extra.sty ../isar.sty \ |
18 ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty \ |
18 ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty \ |
19 ../manual.bib ../proof.sty |
19 ../manual.bib ../proof.sty |
20 |
20 |
21 dvi: $(NAME).dvi |
21 dvi: $(NAME).dvi |
22 |
22 |
23 $(NAME).dvi: $(FILES) isabelle_isar.eps |
23 $(NAME).dvi: $(FILES) isabelle_isar.eps |