| author | blanchet |
| Wed, 15 Aug 2012 11:04:55 +0200 | |
| changeset 48811 | d1688612668d |
| parent 46295 | 2548a85b0e02 |
| permissions | -rw-r--r-- |
| 18537 | 1 |
|
2 |
## targets |
|
3 |
||
4 |
default: dvi |
|
5 |
||
6 |
||
7 |
## dependencies |
|
8 |
||
9 |
include ../Makefile.in |
|
10 |
||
11 |
NAME = implementation |
|
12 |
||
|
42632
ebec0c1a5984
just one railsetup.sty which is shipped with the official distribution to accompany @{rail} in Pure;
wenzelm
parents:
42511
diff
changeset
|
13 |
FILES = ../extra.sty ../iman.sty ../../lib/texinputs/isabelle.sty \ |
|
ebec0c1a5984
just one railsetup.sty which is shipped with the official distribution to accompany @{rail} in Pure;
wenzelm
parents:
42511
diff
changeset
|
14 |
../../lib/texinputs/isabellesym.sty \ |
|
ebec0c1a5984
just one railsetup.sty which is shipped with the official distribution to accompany @{rail} in Pure;
wenzelm
parents:
42511
diff
changeset
|
15 |
../../lib/texinputs/railsetup.sty ../isar.sty ../manual.bib \ |
| 46295 | 16 |
../pdfsetup.sty ../proof.sty Thy/document/Eq.tex \ |
17 |
Thy/document/Integration.tex Thy/document/Isar.tex \ |
|
18 |
Thy/document/Local_Theory.tex Thy/document/Logic.tex \ |
|
19 |
Thy/document/Prelim.tex Thy/document/Proof.tex \ |
|
20 |
Thy/document/Syntax.tex Thy/document/Tactic.tex implementation.tex \ |
|
21 |
style.sty |
|
| 18537 | 22 |
|
23 |
dvi: $(NAME).dvi |
|
24 |
||
25 |
$(NAME).dvi: $(FILES) isabelle_isar.eps |
|
26 |
$(LATEX) $(NAME) |
|
27 |
$(BIBTEX) $(NAME) |
|
28 |
$(LATEX) $(NAME) |
|
29 |
$(LATEX) $(NAME) |
|
30 |
$(SEDINDEX) $(NAME) |
|
31 |
$(LATEX) $(NAME) |
|
32 |
$(LATEX) $(NAME) |
|
33 |
||
34 |
pdf: $(NAME).pdf |
|
35 |
||
36 |
$(NAME).pdf: $(FILES) isabelle_isar.pdf |
|
37 |
$(PDFLATEX) $(NAME) |
|
38 |
$(BIBTEX) $(NAME) |
|
39 |
$(PDFLATEX) $(NAME) |
|
40 |
$(PDFLATEX) $(NAME) |
|
41 |
$(SEDINDEX) $(NAME) |
|
42 |
$(FIXBOOKMARKS) $(NAME).out |
|
43 |
$(PDFLATEX) $(NAME) |
|
44 |
$(PDFLATEX) $(NAME) |