| changeset 6623 | 021728c71030 |
| parent 6620 | fc991461c7b9 |
| child 6629 | 6edc66a9d80b |
| 6622:90583d625648 | 6623:021728c71030 |
|---|---|
26 $(LATEX) $(NAME) |
26 $(LATEX) $(NAME) |
27 $(LATEX) $(NAME) |
27 $(LATEX) $(NAME) |
28 $(SEDINDEX) $(NAME) |
28 $(SEDINDEX) $(NAME) |
29 $(LATEX) $(NAME) |
29 $(LATEX) $(NAME) |
30 |
30 |
31 |
|
32 pdf: $(NAME).pdf |
31 pdf: $(NAME).pdf |
33 |
32 |
34 $(NAME).pdf: $(FILES) isabelle_hol.pdf |
33 $(NAME).pdf: $(FILES) isabelle_hol.pdf |
35 touch $(NAME).ind |
34 touch $(NAME).ind |
36 $(PDFLATEX) $(NAME) |
35 $(PDFLATEX) $(NAME) |