equal
deleted
inserted
replaced
13 |
13 |
14 NAME = ref |
14 NAME = ref |
15 FILES = ref.tex introduction.tex goals.tex tactic.tex tctical.tex \ |
15 FILES = ref.tex introduction.tex goals.tex tactic.tex tctical.tex \ |
16 thm.tex theories.tex defining.tex syntax.tex substitution.tex \ |
16 thm.tex theories.tex defining.tex syntax.tex substitution.tex \ |
17 simplifier.tex classical.tex theory-syntax.tex \ |
17 simplifier.tex classical.tex theory-syntax.tex \ |
18 ../rail.sty ../proof.sty ../iman.sty ../extra.sty |
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.eps |
22 $(NAME).dvi: $(FILES) isabelle.eps |
23 touch $(NAME).ind |
23 touch $(NAME).ind |