| changeset 6602 | c5e32a3d7e12 |
| parent 6600 | 5a94bd71cc41 |
| child 6628 | 12ed4f748f7c |
| 6601:51eed1aefccd | 6602:c5e32a3d7e12 |
|---|---|
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 |
22 touch $(NAME).ind |
23 $(LATEX) $(NAME) |
23 $(LATEX) $(NAME) |
24 $(RAIL) $(NAME) |
|
25 $(BIBTEX) $(NAME) |
24 $(BIBTEX) $(NAME) |
26 $(LATEX) $(NAME) |
25 $(LATEX) $(NAME) |
27 $(LATEX) $(NAME) |
26 $(LATEX) $(NAME) |
28 $(SEDINDEX) $(NAME) |
27 $(SEDINDEX) $(NAME) |
29 $(LATEX) $(NAME) |
28 $(LATEX) $(NAME) |