equal
deleted
inserted
replaced
1 |
1 |
2 ## targets |
2 ## targets |
3 |
3 |
4 default: cookbook |
4 default: tutorial |
5 images: |
5 images: |
6 test: |
6 test: |
7 |
7 |
8 all: cookbook |
8 all: tutorial |
9 |
9 |
10 ## global settings |
10 ## global settings |
11 |
11 |
12 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
13 OUT = $(ISABELLE_OUTPUT) |
13 OUT = $(ISABELLE_OUTPUT) |
19 rail CookBook/generated/root |
19 rail CookBook/generated/root |
20 cp CookBook/generated/root.rao CookBook/document |
20 cp CookBook/generated/root.rao CookBook/document |
21 |
21 |
22 ## CookBook |
22 ## CookBook |
23 |
23 |
24 cookbook: CookBook/ROOT.ML \ |
24 tutorial: CookBook/ROOT.ML \ |
25 CookBook/document/root.tex \ |
25 CookBook/document/root.tex \ |
26 CookBook/document/root.bib \ |
26 CookBook/document/root.bib \ |
27 CookBook/*.thy \ |
27 CookBook/*.thy \ |
28 CookBook/*.ML \ |
28 CookBook/*.ML \ |
29 CookBook/Recipes/*.thy \ |
29 CookBook/Recipes/*.thy \ |