equal
deleted
inserted
replaced
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 |