equal
deleted
inserted
replaced
34 @rm -f pdfsetup.sty |
34 @rm -f pdfsetup.sty |
35 @rm -f */document/isabelle.sty |
35 @rm -f */document/isabelle.sty |
36 @rm -f */document/isabellesym.sty |
36 @rm -f */document/isabellesym.sty |
37 @rm -f */document/pdfsetup.sty |
37 @rm -f */document/pdfsetup.sty |
38 @rm -f */document/session.tex |
38 @rm -f */document/session.tex |
|
39 @rm -f Rules/document/*.tex |
|
40 @rm -f Sets/document/*.tex |
39 |
41 |
40 |
42 |
41 ## HOL-Ifexpr |
43 ## HOL-Ifexpr |
42 |
44 |
43 HOL-Ifexpr: HOL $(LOG)/HOL-Ifexpr.gz |
45 HOL-Ifexpr: HOL $(LOG)/HOL-Ifexpr.gz |