| changeset 30458 | 804de935c328 |
| parent 30226 | 2f4684e2ea95 |
| child 39755 | 93a10347e356 |
| 30457:28b487cd9e15 | 30458:804de935c328 |
|---|---|
23 |
23 |
24 Thy: $(THY) |
24 Thy: $(THY) |
25 |
25 |
26 $(THY): Thy/ROOT.ML Thy/Setup.thy Thy/Classes.thy ../antiquote_setup.ML ../more_antiquote.ML |
26 $(THY): Thy/ROOT.ML Thy/Setup.thy Thy/Classes.thy ../antiquote_setup.ML ../more_antiquote.ML |
27 @$(USEDIR) HOL Thy |
27 @$(USEDIR) HOL Thy |
28 @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \ |
|
29 Thy/document/pdfsetup.sty Thy/document/session.tex |
|
28 |
30 |
29 |
31 |
30 ## clean |
32 ## clean |
31 |
33 |
32 clean: |
34 clean: |