| changeset 28224 | 10487d954a8f |
| parent 28221 | ca9fdab0f971 |
| child 28226 | 97c530dc8aca |
| 28223:eee194395fdc | 28224:10487d954a8f |
|---|---|
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/Presentation.thy |
25 Thy/Basics.thy Thy/Misc.thy Thy/Presentation.thy |
26 @$(USEDIR) -s System Pure Thy |
26 @$(USEDIR) -s System Pure Thy |
27 |
27 |
28 |
28 |
29 ## clean |
29 ## clean |
30 |
30 |