equal
deleted
inserted
replaced
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 $(USEDIR) HOL ProgTutorial |
30 $(USEDIR) HOL ProgTutorial |
31 $(ISATOOL) version > ProgTutorial/generated/version |
31 $(ISATOOL) version > ProgTutorial/generated/version |
32 poly -v > ProgTutorial/generated/pversion |
32 $(ML_HOME)/poly -v > ProgTutorial/generated/pversion |
33 $(ISATOOL) document -o pdf ProgTutorial/generated |
33 $(ISATOOL) document -o pdf ProgTutorial/generated |
34 @cp ProgTutorial/document.pdf progtutorial.pdf |
34 @cp ProgTutorial/document.pdf progtutorial.pdf |
35 |
35 |
36 ## clean |
36 ## clean |
37 |
37 |