diff -r f512026d5d6e -r 1abf8586ee6b IsaMakefile --- a/IsaMakefile Fri Nov 11 23:38:10 2011 +0000 +++ b/IsaMakefile Sun Nov 20 22:53:50 2011 +0000 @@ -26,7 +26,7 @@ cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex cp Slides/generated/root.beamer.pdf Slides/slides.pdf -## Slides +## Slides 1 session11: Slides/ROOT.ML \ Slides/document/root* \ @@ -38,6 +38,17 @@ cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex cp Slides/generated/root.beamer.pdf Slides/slides1.pdf +## Slides 2 + +session22: Slides/ROOT.ML \ + Slides/document/root* \ + Slides/Slides2.thy + @$(USEDIR) -D generated -f ROOT2.ML HOL Slides + +slides2: session22 + rm -f Slides/generated/*.aux # otherwise latex will fall over + cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex + cp Slides/generated/root.beamer.pdf Slides/slides2.pdf ## long paper