equal
deleted
inserted
replaced
25 |
25 |
26 $(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Examples.thy \ |
26 $(LOG)/HOL-Locales.gz: $(OUT)/HOL Locales/ROOT.ML Locales/Examples.thy \ |
27 Locales/Examples1.thy Locales/Examples2.thy Locales/Examples3.thy \ |
27 Locales/Examples1.thy Locales/Examples2.thy Locales/Examples3.thy \ |
28 Locales/document/root.tex Locales/document/root.bib |
28 Locales/document/root.tex Locales/document/root.bib |
29 @$(USEDIR) $(OUT)/HOL Locales |
29 @$(USEDIR) $(OUT)/HOL Locales |
|
30 @rm -f Locales/document/isabelle.sty Locales/document/isabellesym.sty \ |
|
31 Locales/document/pdfsetup.sty |
30 |
32 |
31 |
33 |
32 ## clean |
34 ## clean |
33 |
35 |
34 clean: |
36 clean: |