equal
deleted
inserted
replaced
19 ## CookBook |
19 ## CookBook |
20 |
20 |
21 cookbook: CookBook/ROOT.ML \ |
21 cookbook: CookBook/ROOT.ML \ |
22 CookBook/document/root.tex \ |
22 CookBook/document/root.tex \ |
23 CookBook/document/root.bib \ |
23 CookBook/document/root.bib \ |
24 CookBook/*.thy |
24 CookBook/*.thy \ |
|
25 CookBook/*.ML \ |
|
26 CookBook/Recipes/*.thy \ |
|
27 CookBook/Package/*.thy \ |
|
28 CookBook/Package/*.ML |
25 $(USEDIR) HOL CookBook |
29 $(USEDIR) HOL CookBook |
26 $(ISATOOL) document -o pdf CookBook/generated |
30 $(ISATOOL) document -o pdf CookBook/generated |
27 @cp CookBook/document.pdf cookbook.pdf |
31 @cp CookBook/document.pdf cookbook.pdf |
28 |
32 |
29 ## clean |
33 ## clean |