Mercurial Mercurial > hg > regexp / 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 55 d71424eb5d0c
parent 36 f5cc33a0ba99
child 58 0d4d5bb321dc
equal deleted inserted replaced
54:c19d2fc2cc69 55:d71424eb5d0c 
    30 ## long paper
 
    30 ## long paper
 
    31 
    31 
    32 session2: tphols-2011/ROOT.ML \
 
    32 session2: tphols-2011/ROOT.ML \
 
    33          tphols-2011/document/root* \
 
    33          tphols-2011/document/root* \
 
    34          *.thy
 
    34          *.thy
 
    35 	@$(USEDIR) -D generated -f ROOT.ML HOL tphols-2011 
    35 	@$(USEDIR) -D generated -f ROOT.ML ListP tphols-2011 
    36 
    36 
    37 paper: session2 
    37 paper: session2 
    38 	rm -f tphols-2011/generated/*.aux # otherwise latex will fall over
 
    38 	rm -f tphols-2011/generated/*.aux # otherwise latex will fall over
 
    39 	cd tphols-2011/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
    39 	cd tphols-2011/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
    40 	cd tphols-2011/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
    40 	cd tphols-2011/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex
regexp