equal
deleted
inserted
replaced
15 LOG = $(OUT)/log |
15 LOG = $(OUT)/log |
16 |
16 |
17 USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document |
17 USEDIR = $(ISABELLE_TOOL) usedir -v true -i false -d false -C false -D document |
18 |
18 |
19 |
19 |
20 ## IsarRef 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 \ |
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 |