author  wenzelm 
Wed, 15 Apr 2009 11:14:48 +0200  
changeset 30895  bad26d8f0adf 
parent 30168  9a20be5be90b 
child 42511  bf89455ccf9d 
permissions  rwrr 
7046  1 
## targets 
2 

3 
default: dvi 

4 

5 

6 
## dependencies 

7 

8 
include ../Makefile.in 

9 

10 
NAME = isarref 

11 

27048  12 
FILES = isarref.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 isarref manual;
wenzelm
parents:
28762
diff
changeset

18 
Thy/document/Misc.tex Thy/document/Outer_Syntax.tex \ 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref 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 isarref 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 isarref manual;
wenzelm
parents:
28762
diff
changeset

21 
../isabellesym.sty ../pdfsetup.sty ../manual.bib 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
28762
diff
changeset

22 

d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
28762
diff
changeset

23 
OUTPUT = syms.tex 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
28762
diff
changeset

24 

d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
28762
diff
changeset

25 
syms.tex: showsymbols ../isabellesym.sty 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
28762
diff
changeset

26 
@./showsymbols <../isabellesym.sty >syms.tex 
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref manual;
wenzelm
parents:
28762
diff
changeset

27 

7046  28 

29 
dvi: $(NAME).dvi 

30 

28838
d5db6dfcb34a
moved table of standard Isabelle symbols to isarref 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 isarref 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) 