Mercurial Mercurial > hg > regexp / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added an option fullpaper to IsaMakefile
authorurbanc
Mon, 07 Feb 2011 11:12:36 +0000
changeset 72 e5116c2e6187
parent 71 426070e68b21
child 73 79de7de104c8
added an option fullpaper to IsaMakefile
IsaMakefile file | annotate | diff | comparison | revisions
tphols-2011/myhill.pdf file | annotate | diff | comparison | revisions 
--- a/IsaMakefile	Mon Feb 07 10:23:23 2011 +0000
+++ b/IsaMakefile	Mon Feb 07 11:12:36 2011 +0000
@@ -40,6 +40,20 @@
 	cd tphols-2011/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
 	cp tphols-2011/generated/root.pdf tphols-2011/myhill.pdf     
 
+## full paper
+
+fullsession2: tphols-2011/ROOT.ML \
+         tphols-2011/document/root* \
+         *.thy
+	@$(USEDIR) -D generated -f ROOT.ML HOL tphols-2011 
+
+fullpaper: fullsession2 
+	rm -f tphols-2011/generated/*.aux # otherwise latex will fall over
+	cd tphols-2011/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
+	cd tphols-2011/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex 
+	cp tphols-2011/generated/root.pdf tphols-2011/myhill.pdf   
+
+
 
 ## ITP paper
 
Binary file tphols-2011/myhill.pdf has changed
regexp