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 31 b6815473ee2e
parent 30 f5db9e08effc
child 36 f5cc33a0ba99
equal deleted inserted replaced
30:f5db9e08effc 31:b6815473ee2e 
    29 
    29 
    30 ## Paper
 
    30 ## 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 ListP 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
regexp