equal
deleted
inserted
replaced
12 include ../Makefile.in |
12 include ../Makefile.in |
13 |
13 |
14 NAME = isar-ref |
14 NAME = isar-ref |
15 |
15 |
16 FILES = isar-ref.tex intro.tex basics.tex syntax.tex pure.tex \ |
16 FILES = isar-ref.tex intro.tex basics.tex syntax.tex pure.tex \ |
17 simplifier.tex classical.tex hol.tex \ |
17 simplifier.tex classical.tex hol.tex ../isar.sty \ |
18 ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib |
18 ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib |
19 |
19 |
20 dvi: $(NAME).dvi |
20 dvi: $(NAME).dvi |
21 |
21 |
22 $(NAME).dvi: $(FILES) isabelle_isar.eps |
22 $(NAME).dvi: $(FILES) isabelle_isar.eps |