author | blanchet |
Mon, 26 Apr 2010 21:41:54 +0200 | |
changeset 36404 | cb3dc64f13d7 |
parent 30168 | 9a20be5be90b |
child 42511 | bf89455ccf9d |
permissions | -rw-r--r-- |
7046 | 1 |
## targets |
2 |
||
3 |
default: dvi |
|
4 |
||
5 |
||
6 |
## dependencies |
|
7 |
||
8 |
include ../Makefile.in |
|
9 |
||
10 |
NAME = isar-ref |
|
11 |
||
27048 | 12 |
FILES = isar-ref.tex style.sty Thy/document/Generic.tex \ |
26906 | 13 |
Thy/document/HOLCF_Specific.tex Thy/document/HOL_Specific.tex \ |
14 |
Thy/document/ML_Tactic.tex Thy/document/Proof.tex \ |
|
15 |
Thy/document/Quick_Reference.tex Thy/document/Spec.tex \ |
|
28762
f5d79aeffd81
separate chapter "Inner syntax --- the term language";
wenzelm
parents:
27048
diff
changeset
|
16 |
Thy/document/ZF_Specific.tex Thy/document/Inner_Syntax.tex \ |
f5d79aeffd81
separate chapter "Inner syntax --- the term language";
wenzelm
parents:
27048
diff
changeset
|
17 |
Thy/document/Introduction.tex Thy/document/Document_Preparation.tex \ |
28838
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28762
diff
changeset
|
18 |
Thy/document/Misc.tex Thy/document/Outer_Syntax.tex \ |
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28762
diff
changeset
|
19 |
Thy/document/Symbols.tex ../isar.sty ../rail.sty ../railsetup.sty \ |
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28762
diff
changeset
|
20 |
../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../isabelle.sty \ |
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28762
diff
changeset
|
21 |
../isabellesym.sty ../pdfsetup.sty ../manual.bib |
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28762
diff
changeset
|
22 |
|
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28762
diff
changeset
|
23 |
OUTPUT = syms.tex |
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28762
diff
changeset
|
24 |
|
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28762
diff
changeset
|
25 |
syms.tex: showsymbols ../isabellesym.sty |
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28762
diff
changeset
|
26 |
@./showsymbols <../isabellesym.sty >syms.tex |
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28762
diff
changeset
|
27 |
|
7046 | 28 |
|
29 |
dvi: $(NAME).dvi |
|
30 |
||
28838
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28762
diff
changeset
|
31 |
$(NAME).dvi: $(FILES) isabelle_isar.eps syms.tex |
7046 | 32 |
$(LATEX) $(NAME) |
33 |
$(RAIL) $(NAME) |
|
34 |
$(BIBTEX) $(NAME) |
|
35 |
$(LATEX) $(NAME) |
|
36 |
$(LATEX) $(NAME) |
|
37 |
$(SEDINDEX) $(NAME) |
|
38 |
$(LATEX) $(NAME) |
|
39 |
||
40 |
pdf: $(NAME).pdf |
|
41 |
||
28838
d5db6dfcb34a
moved table of standard Isabelle symbols to isar-ref manual;
wenzelm
parents:
28762
diff
changeset
|
42 |
$(NAME).pdf: $(FILES) isabelle_isar.pdf syms.tex |
7046 | 43 |
$(PDFLATEX) $(NAME) |
44 |
$(RAIL) $(NAME) |
|
45 |
$(BIBTEX) $(NAME) |
|
46 |
$(PDFLATEX) $(NAME) |
|
47 |
$(PDFLATEX) $(NAME) |
|
48 |
$(SEDINDEX) $(NAME) |
|
49 |
$(FIXBOOKMARKS) $(NAME).out |
|
50 |
$(PDFLATEX) $(NAME) |