equal
deleted
inserted
replaced
21 ProgTutorial/Recipes/*.thy \ |
21 ProgTutorial/Recipes/*.thy \ |
22 ProgTutorial/Package/*.thy \ |
22 ProgTutorial/Package/*.thy \ |
23 ProgTutorial/Package/*.ML |
23 ProgTutorial/Package/*.ML |
24 @rm -rf ProgTutorial/generated/* |
24 @rm -rf ProgTutorial/generated/* |
25 $(USEDIR) HOL ProgTutorial |
25 $(USEDIR) HOL ProgTutorial |
|
26 hg parent --template '{date|shortdate}' > ProgTutorial/generated/tip |
26 $(ISATOOL) version > ProgTutorial/generated/version |
27 $(ISATOOL) version > ProgTutorial/generated/version |
27 $(ML_HOME)/poly -v > ProgTutorial/generated/pversion |
28 $(ML_HOME)/poly -v > ProgTutorial/generated/pversion |
28 $(ISATOOL) document -o pdf ProgTutorial/generated |
29 $(ISATOOL) document -o pdf ProgTutorial/generated |
29 @cp ProgTutorial/document.pdf progtutorial.pdf |
30 @cp ProgTutorial/document.pdf progtutorial.pdf |
30 |
31 |