equal
deleted
inserted
replaced
22 Pure-System: $(LOG)/Pure-System.gz |
22 Pure-System: $(LOG)/Pure-System.gz |
23 |
23 |
24 $(LOG)/Pure-System.gz: Thy/ROOT.ML ../antiquote_setup.ML \ |
24 $(LOG)/Pure-System.gz: Thy/ROOT.ML ../antiquote_setup.ML \ |
25 Thy/Basics.thy Thy/Misc.thy Thy/Interfaces.thy Thy/Presentation.thy |
25 Thy/Basics.thy Thy/Misc.thy Thy/Interfaces.thy Thy/Presentation.thy |
26 @$(USEDIR) -s System Pure Thy |
26 @$(USEDIR) -s System Pure Thy |
|
27 @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \ |
|
28 Thy/document/pdfsetup.sty Thy/document/session.tex |
27 |
29 |
28 |
30 |
29 ## clean |
31 ## clean |
30 |
32 |
31 clean: |
33 clean: |