equal
deleted
inserted
replaced
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.eps |
22 $(NAME).dvi: $(FILES) isabelle.eps |
23 touch $(NAME).ind |
|
24 $(LATEX) $(NAME) |
23 $(LATEX) $(NAME) |
25 $(RAIL) $(NAME) |
24 $(RAIL) $(NAME) |
26 $(BIBTEX) $(NAME) |
25 $(BIBTEX) $(NAME) |
27 $(LATEX) $(NAME) |
26 $(LATEX) $(NAME) |
28 $(LATEX) $(NAME) |
27 $(LATEX) $(NAME) |
30 $(LATEX) $(NAME) |
29 $(LATEX) $(NAME) |
31 |
30 |
32 pdf: $(NAME).pdf |
31 pdf: $(NAME).pdf |
33 |
32 |
34 $(NAME).pdf: $(FILES) isabelle.pdf |
33 $(NAME).pdf: $(FILES) isabelle.pdf |
35 touch $(NAME).ind |
|
36 $(PDFLATEX) $(NAME) |
34 $(PDFLATEX) $(NAME) |
37 $(RAIL) $(NAME) |
35 $(RAIL) $(NAME) |
38 $(BIBTEX) $(NAME) |
36 $(BIBTEX) $(NAME) |
39 $(PDFLATEX) $(NAME) |
37 $(PDFLATEX) $(NAME) |
40 $(PDFLATEX) $(NAME) |
38 $(PDFLATEX) $(NAME) |