Mercurial Mercurial > hg > isabelle-cookbook / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
IsaMakefile
changeset 228 fe45fbb111c5
parent 189 069d525f8f1d
child 246 eb81ab6da2a3
equal deleted inserted replaced
227:a00c7721fc3b 228:fe45fbb111c5 
    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 	$(ISATOOL) document -o pdf  ProgTutorial/generated
 
    33 	$(ISATOOL) document -o pdf  ProgTutorial/generated
 
    33 	@cp ProgTutorial/document.pdf progtutorial.pdf
 
    34 	@cp ProgTutorial/document.pdf progtutorial.pdf
 
    34 
    35 
    35 ## clean
 
    36 ## clean
 
    36 
    37
isabelle-cookbook