equal
deleted
inserted
replaced
10 SRC = $(ISABELLE_HOME)/src |
10 SRC = $(ISABELLE_HOME)/src |
11 OUT = $(ISABELLE_OUTPUT) |
11 OUT = $(ISABELLE_OUTPUT) |
12 LOG = $(OUT)/log |
12 LOG = $(OUT)/log |
13 |
13 |
14 USEDIR = $(ISATOOL) usedir -v true -D generated |
14 USEDIR = $(ISATOOL) usedir -v true -D generated |
15 |
|
16 rail: |
|
17 rail ProgTutorial/generated/root |
|
18 cp ProgTutorial/generated/root.rao ProgTutorial/document |
|
19 |
15 |
20 tutorial: ProgTutorial/ROOT.ML \ |
16 tutorial: ProgTutorial/ROOT.ML \ |
21 ProgTutorial/document/root.tex \ |
17 ProgTutorial/document/root.tex \ |
22 ProgTutorial/document/root.bib \ |
18 ProgTutorial/document/root.bib \ |
23 ProgTutorial/*.thy \ |
19 ProgTutorial/*.thy \ |