equal
deleted
inserted
replaced
19 |
19 |
20 ## sessions |
20 ## sessions |
21 |
21 |
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 Thy/Base.thy \ |
25 Thy/Base.thy 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 Thy/Scala.thy |
26 @$(USEDIR) -s System Pure Thy |
27 @$(USEDIR) -s System Pure Thy |
27 @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \ |
28 @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \ |
28 Thy/document/pdfsetup.sty Thy/document/session.tex |
29 Thy/document/pdfsetup.sty Thy/document/session.tex |
29 |
30 |
30 |
31 |