equal
deleted
inserted
replaced
24 ProgTutorial/document/root.bib \ |
24 ProgTutorial/document/root.bib \ |
25 ProgTutorial/*.thy \ |
25 ProgTutorial/*.thy \ |
26 ProgTutorial/*.ML \ |
26 ProgTutorial/*.ML \ |
27 ProgTutorial/Recipes/*.thy \ |
27 ProgTutorial/Recipes/*.thy \ |
28 ProgTutorial/Package/*.thy \ |
28 ProgTutorial/Package/*.thy \ |
29 ProgTutorial/Package/*.ML |
29 ProgTutorial/Package/*.ML |
|
30 @rm -rf ProgTutorial/generated/* |
30 $(USEDIR) HOL ProgTutorial |
31 $(USEDIR) HOL ProgTutorial |
31 $(ISATOOL) version > ProgTutorial/generated/version |
32 $(ISATOOL) version > ProgTutorial/generated/version |
32 $(ML_HOME)/poly -v > ProgTutorial/generated/pversion |
33 $(ML_HOME)/poly -v > ProgTutorial/generated/pversion |
33 $(ISATOOL) document -o pdf ProgTutorial/generated |
34 $(ISATOOL) document -o pdf ProgTutorial/generated |
34 @cp ProgTutorial/document.pdf progtutorial.pdf |
35 @cp ProgTutorial/document.pdf progtutorial.pdf |