equal
deleted
inserted
replaced
19 |
19 |
20 ## IsarRef sessions |
20 ## IsarRef 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 \ |
25 Thy/Basics.thy Thy/Misc.thy Thy/Presentation.thy |
25 Thy/Basics.thy Thy/Misc.thy Thy/Presentation.thy Thy/Symbols.thy |
26 @$(USEDIR) -s System Pure Thy |
26 @$(USEDIR) -s System Pure Thy |
27 |
27 |
28 |
28 |
29 ## clean |
29 ## clean |
30 |
30 |