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 153 c22b507e1407
parent 106 bdd82350cf22
child 189 069d525f8f1d
equal deleted inserted replaced
152:8084c353d196 153:c22b507e1407 
    17 
    17 
    18 rail:
 
    18 rail:
 
    19 	rail CookBook/generated/root
 
    19 	rail CookBook/generated/root
 
    20 	cp CookBook/generated/root.rao CookBook/document
 
    20 	cp CookBook/generated/root.rao CookBook/document
 
    21 
    21 
    22 ## CookBook
 
       
    23 
       
    24 tutorial: CookBook/ROOT.ML \
 
    22 tutorial: CookBook/ROOT.ML \
 
    25           CookBook/document/root.tex \
 
    23           CookBook/document/root.tex \
 
    26           CookBook/document/root.bib \
 
    24           CookBook/document/root.bib \
 
    27           CookBook/*.thy \
 
    25           CookBook/*.thy \
 
    28           CookBook/*.ML \
 
    26           CookBook/*.ML \
 
    29           CookBook/Recipes/*.thy \
 
    27           CookBook/Recipes/*.thy \
 
    30           CookBook/Package/*.thy \
 
    28           CookBook/Package/*.thy \
 
    31           CookBook/Package/*.ML
 
    29           CookBook/Package/*.ML 
    32 	$(USEDIR) HOL CookBook
 
    30 	$(USEDIR) HOL CookBook
 
       
    31 	$(ISATOOL) version > CookBook/generated/version 
    33 	$(ISATOOL) document -o pdf  CookBook/generated
 
    32 	$(ISATOOL) document -o pdf  CookBook/generated
 
    34 	@cp CookBook/document.pdf cookbook.pdf
 
    33 	@cp CookBook/document.pdf cookbook.pdf
 
    35 
    34 
    36 ## clean
 
    35 ## clean
 
    37 
    36
isabelle-cookbook