Mercurial Mercurial > hg > regexp / diff
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 258 1abf8586ee6b
parent 203 5d724fe0e096
child 333 813e7257c7c3 
--- 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
regexp