doc-src/IsarImplementation/Makefile
author boehmes
Tue, 07 Dec 2010 15:44:38 +0100
changeset 41064 0c447a17770a
parent 39827 d829ce302ca4
child 42510 b9c106763325
permissions -rw-r--r--
updated SMT certificates
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
18537
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
     1
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
     2
## targets
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
     3
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
     4
default: dvi
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
     5
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
     6
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
     7
## dependencies
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
     8
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
     9
include ../Makefile.in
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    10
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    11
NAME = implementation
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    12
30124
b956bf0dc87c basic setup for chapter "Syntax and type-checking";
wenzelm
parents: 29758
diff changeset
    13
FILES = ../extra.sty ../iman.sty ../isabelle.sty ../isabellesym.sty	\
39827
d829ce302ca4 basic setup for ML antiquotations -- with rail diagrams;
wenzelm
parents: 30295
diff changeset
    14
  ../isar.sty ../manual.bib ../pdfsetup.sty ../proof.sty ../rail.sty	\
d829ce302ca4 basic setup for ML antiquotations -- with rail diagrams;
wenzelm
parents: 30295
diff changeset
    15
  ../railsetup.sty Thy/document/Integration.tex Thy/document/Isar.tex	\
30295
3d65318d17b7 more precise deps;
wenzelm
parents: 30124
diff changeset
    16
  Thy/document/Local_Theory.tex Thy/document/Logic.tex			\
3d65318d17b7 more precise deps;
wenzelm
parents: 30124
diff changeset
    17
  Thy/document/Prelim.tex Thy/document/Proof.tex			\
3d65318d17b7 more precise deps;
wenzelm
parents: 30124
diff changeset
    18
  Thy/document/Syntax.tex Thy/document/Tactic.tex implementation.tex	\
3d65318d17b7 more precise deps;
wenzelm
parents: 30124
diff changeset
    19
  style.sty
18537
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    20
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    21
dvi: $(NAME).dvi
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    22
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    23
$(NAME).dvi: $(FILES) isabelle_isar.eps
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    24
	$(LATEX) $(NAME)
39827
d829ce302ca4 basic setup for ML antiquotations -- with rail diagrams;
wenzelm
parents: 30295
diff changeset
    25
	$(RAIL) $(NAME)
18537
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    26
	$(BIBTEX) $(NAME)
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    27
	$(LATEX) $(NAME)
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    28
	$(LATEX) $(NAME)
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    29
	$(SEDINDEX) $(NAME)
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    30
	$(LATEX) $(NAME)
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    31
	$(LATEX) $(NAME)
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    32
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    33
pdf: $(NAME).pdf
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    34
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    35
$(NAME).pdf: $(FILES) isabelle_isar.pdf
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    36
	$(PDFLATEX) $(NAME)
39827
d829ce302ca4 basic setup for ML antiquotations -- with rail diagrams;
wenzelm
parents: 30295
diff changeset
    37
	$(RAIL) $(NAME)
18537
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    38
	$(BIBTEX) $(NAME)
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    39
	$(PDFLATEX) $(NAME)
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    40
	$(PDFLATEX) $(NAME)
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    41
	$(SEDINDEX) $(NAME)
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    42
	$(FIXBOOKMARKS) $(NAME).out
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    43
	$(PDFLATEX) $(NAME)
2681f9e34390 "The Isabelle/Isar Implementation" manual;
wenzelm
parents:
diff changeset
    44
	$(PDFLATEX) $(NAME)