equal
deleted
inserted
replaced
24 $(LOG)/Pure-Thy.gz: Thy/ROOT.ML Thy/Base.thy Thy/Integration.thy \ |
24 $(LOG)/Pure-Thy.gz: Thy/ROOT.ML Thy/Base.thy Thy/Integration.thy \ |
25 Thy/Isar.thy Thy/Local_Theory.thy Thy/Logic.thy Thy/Prelim.thy \ |
25 Thy/Isar.thy Thy/Local_Theory.thy Thy/Logic.thy Thy/Prelim.thy \ |
26 Thy/Proof.thy Thy/Syntax.thy Thy/Tactic.thy Thy/ML.thy \ |
26 Thy/Proof.thy Thy/Syntax.thy Thy/Tactic.thy Thy/ML.thy \ |
27 ../antiquote_setup.ML |
27 ../antiquote_setup.ML |
28 @$(USEDIR) Pure Thy |
28 @$(USEDIR) Pure Thy |
|
29 @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \ |
|
30 Thy/document/pdfsetup.sty Thy/document/session.tex |
29 |
31 |
30 |
32 |
31 ## clean |
33 ## clean |
32 |
34 |
33 clean: |
35 clean: |