equal
deleted
inserted
replaced
25 $(USEDIR) HOL ProgTutorial |
25 $(USEDIR) HOL ProgTutorial |
26 hg parent --template '{date|shortdate}' > ProgTutorial/generated/tip |
26 hg parent --template '{date|shortdate}' > ProgTutorial/generated/tip |
27 $(ISABELLE_TOOL) version > ProgTutorial/generated/version |
27 $(ISABELLE_TOOL) version > ProgTutorial/generated/version |
28 $(ML_HOME)/poly -v > ProgTutorial/generated/pversion |
28 $(ML_HOME)/poly -v > ProgTutorial/generated/pversion |
29 $(ISABELLE_TOOL) document -o pdf ProgTutorial/generated |
29 $(ISABELLE_TOOL) document -o pdf ProgTutorial/generated |
|
30 makeindex -o ProgTutorial/generated/root.stu ProgTutorial/generated/root.str |
|
31 $(ISABELLE_TOOL) document -o pdf ProgTutorial/generated |
|
32 ## $(ISABELLE_TOOL) document -o pdf ProgTutorial/generated |
30 @cp ProgTutorial/document.pdf progtutorial.pdf |
33 @cp ProgTutorial/document.pdf progtutorial.pdf |
31 |
34 |
32 ## clean |
35 ## clean |
33 |
36 |
34 clean: |
37 clean: |