equal
deleted
inserted
replaced
17 isabelle.sty isabellesym.sty pdfsetup.sty |
17 isabelle.sty isabellesym.sty pdfsetup.sty |
18 |
18 |
19 dvi: $(NAME).dvi |
19 dvi: $(NAME).dvi |
20 |
20 |
21 $(NAME).dvi: $(FILES) isabelle_hol.eps |
21 $(NAME).dvi: $(FILES) isabelle_hol.eps |
22 touch $(NAME).ind |
|
23 $(LATEX) $(NAME) |
22 $(LATEX) $(NAME) |
24 $(BIBTEX) $(NAME) |
23 $(BIBTEX) $(NAME) |
25 $(LATEX) $(NAME) |
24 $(LATEX) $(NAME) |
26 $(LATEX) $(NAME) |
25 $(LATEX) $(NAME) |
27 $(SEDINDEX) $(NAME) |
26 $(SEDINDEX) $(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 $(BIBTEX) $(NAME) |
33 $(BIBTEX) $(NAME) |
36 $(PDFLATEX) $(NAME) |
34 $(PDFLATEX) $(NAME) |
37 $(PDFLATEX) $(NAME) |
35 $(PDFLATEX) $(NAME) |
38 $(SEDINDEX) $(NAME) |
36 $(SEDINDEX) $(NAME) |