equal
deleted
inserted
replaced
16 ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib |
16 ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib |
17 |
17 |
18 dvi: $(NAME).dvi |
18 dvi: $(NAME).dvi |
19 |
19 |
20 $(NAME).dvi: $(FILES) isabelle_hol.eps |
20 $(NAME).dvi: $(FILES) isabelle_hol.eps |
21 touch $(NAME).ind |
|
22 $(LATEX) $(NAME) |
21 $(LATEX) $(NAME) |
23 $(RAIL) $(NAME) |
22 $(RAIL) $(NAME) |
24 $(BIBTEX) $(NAME) |
23 $(BIBTEX) $(NAME) |
25 $(LATEX) $(NAME) |
24 $(LATEX) $(NAME) |
26 $(LATEX) $(NAME) |
25 $(LATEX) $(NAME) |
28 $(LATEX) $(NAME) |
27 $(LATEX) $(NAME) |
29 |
28 |
30 pdf: $(NAME).pdf |
29 pdf: $(NAME).pdf |
31 |
30 |
32 $(NAME).pdf: $(FILES) isabelle_hol.pdf |
31 $(NAME).pdf: $(FILES) isabelle_hol.pdf |
33 touch $(NAME).ind |
|
34 $(PDFLATEX) $(NAME) |
32 $(PDFLATEX) $(NAME) |
35 $(RAIL) $(NAME) |
33 $(RAIL) $(NAME) |
36 $(BIBTEX) $(NAME) |
34 $(BIBTEX) $(NAME) |
37 $(PDFLATEX) $(NAME) |
35 $(PDFLATEX) $(NAME) |
38 $(PDFLATEX) $(NAME) |
36 $(PDFLATEX) $(NAME) |