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 |
|
32 pdf: $(NAME).pdf |
|
33 |
|
34 $(NAME).pdf: $(FILES) isabelle_hol.pdf |
|
35 touch $(NAME).ind |
|
36 $(PDFLATEX) $(NAME) |
|
37 $(RAIL) $(NAME) |
|
38 $(BIBTEX) $(NAME) |
|
39 $(PDFLATEX) $(NAME) |
|
40 $(PDFLATEX) $(NAME) |
|
41 $(SEDINDEX) $(NAME) |
|
42 $(FIXBOOKMARKS) $(NAME).out |
|
43 $(PDFLATEX) $(NAME) |