doc-src/TutorialI/IsaMakefile
changeset 10002 aaaca09b18de
parent 9958 67f2920862c7
child 10122 194c7349b6c0
equal deleted inserted replaced
10001:79b23dbb4b89 10002:aaaca09b18de
    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