equal
deleted
inserted
replaced
25 $(BIBTEX) $(NAME) |
25 $(BIBTEX) $(NAME) |
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 |
|
31 pdf: $(NAME).pdf |
|
32 |
|
33 $(NAME).pdf: $(FILES) isabelle_zf.pdf |
|
34 touch $(NAME).ind |
|
35 $(PDFLATEX) $(NAME) |
|
36 $(RAIL) $(NAME) |
|
37 $(BIBTEX) $(NAME) |
|
38 $(PDFLATEX) $(NAME) |
|
39 $(PDFLATEX) $(NAME) |
|
40 $(SEDINDEX) $(NAME) |
|
41 $(FIXBOOKMARKS) $(NAME).out |
|
42 $(PDFLATEX) $(NAME) |