equal
deleted
inserted
replaced
21 |
21 |
22 HOL: |
22 HOL: |
23 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
23 @cd $(SRC)/HOL; $(ISATOOL) make HOL |
24 |
24 |
25 styles: |
25 styles: |
|
26 @rm -f isabelle.sty |
|
27 @rm -f isabellesym.sty |
|
28 @rm -f pdfsetup.sty |
26 @$(ISATOOL) latex -o sty >/dev/null |
29 @$(ISATOOL) latex -o sty >/dev/null |
27 @rm -f pdfsetup.sty |
30 @rm -f pdfsetup.sty |
28 @rm -f */document/isabelle.sty |
31 @rm -f */document/isabelle.sty |
29 @rm -f */document/isabellesym.sty |
32 @rm -f */document/isabellesym.sty |
30 @rm -f */document/pdfsetup.sty |
33 @rm -f */document/pdfsetup.sty |
96 |
99 |
97 ## HOL-Advanced |
100 ## HOL-Advanced |
98 |
101 |
99 HOL-Advanced: HOL $(LOG)/HOL-Advanced.gz |
102 HOL-Advanced: HOL $(LOG)/HOL-Advanced.gz |
100 |
103 |
101 $(LOG)/HOL-Advanced.gz: $(OUT)/HOL Advanced/simp.thy Advanced/ROOT.ML Advanced/WFrec.thy |
104 $(LOG)/HOL-Advanced.gz: $(OUT)/HOL Advanced/simp.thy Advanced/ROOT.ML Advanced/WFrec.thy \ |
|
105 Advanced/Partial.thy |
102 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Advanced |
106 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL Advanced |
103 @rm -f tutorial.dvi |
107 @rm -f tutorial.dvi |
104 |
108 |
105 ## HOL-Rules |
109 ## HOL-Rules |
106 |
110 |