# HG changeset patch # User urbanc # Date 1297077156 0 # Node ID e5116c2e61875d05b489fa358ccb3610b567648f # Parent 426070e68b213203fb87ec77fb5a27ff9cd9b3d4 added an option fullpaper to IsaMakefile diff -r 426070e68b21 -r e5116c2e6187 IsaMakefile --- 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 diff -r 426070e68b21 -r e5116c2e6187 tphols-2011/myhill.pdf Binary file tphols-2011/myhill.pdf has changed