equal
deleted
inserted
replaced
23 |
23 |
24 $(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/Sugar.thy \ |
24 $(LOG)/HOL-Sugar.gz: Sugar/ROOT.ML Sugar/Sugar.thy \ |
25 Sugar/document/root.tex Sugar/document/root.bib \ |
25 Sugar/document/root.tex Sugar/document/root.bib \ |
26 $(SRC)/HOL/Library/LaTeXsugar.thy $(SRC)/HOL/Library/OptionalSugar.thy |
26 $(SRC)/HOL/Library/LaTeXsugar.thy $(SRC)/HOL/Library/OptionalSugar.thy |
27 @$(USEDIR) HOL Sugar |
27 @$(USEDIR) HOL Sugar |
|
28 @rm -f Sugar/document/isabelle.sty Sugar/document/isabellesym.sty \ |
|
29 Sugar/document/pdfsetup.sty Sugar/document/session.tex |
28 |
30 |
29 |
31 |
30 ## clean |
32 ## clean |
31 |
33 |
32 clean: |
34 clean: |