equal
deleted
inserted
replaced
26 @$(ISATOOL) latex -o sty >/dev/null |
26 @$(ISATOOL) latex -o sty >/dev/null |
27 @rm -f pdfsetup.sty |
27 @rm -f pdfsetup.sty |
28 @rm -f */document/isabelle.sty |
28 @rm -f */document/isabelle.sty |
29 @rm -f */document/isabellesym.sty |
29 @rm -f */document/isabellesym.sty |
30 @rm -f */document/pdfsetup.sty |
30 @rm -f */document/pdfsetup.sty |
|
31 @rm -f */document/session.tex |
31 |
32 |
32 |
33 |
33 ## HOL-Ifexpr |
34 ## HOL-Ifexpr |
34 |
35 |
35 HOL-Ifexpr: HOL $(LOG)/HOL-Ifexpr.gz |
36 HOL-Ifexpr: HOL $(LOG)/HOL-Ifexpr.gz |