Mercurial Mercurial > hg > pip / 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 4 9d667d545e32
parent 2 a04084de4946
child 5 0f2d4b78f839 
--- a/IsaMakefile	Thu Dec 06 15:49:20 2012 +0000
+++ b/IsaMakefile	Thu Dec 06 16:30:57 2012 +0000
@@ -26,6 +26,19 @@
 	cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex
 	cp Slides/generated/root.beamer.pdf Slides/slides.pdf
 
+## Slides
+
+session2: Slides/ROOT2.ML \
+	Slides/document/root* \
+	Slides/Slides2.thy
+	@$(USEDIR) -D generated -f ROOT2.ML HOL Slides
+
+slides2: session2
+	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/slides.pdf
+
+
 # main files                        
 
 session: ./ROOT.ML ./*.thy
@@ -43,9 +56,4 @@
 	cp Paper/generated/root.pdf paper.pdf 
 
 
-slides: Slides/ROOT1.ML Slides/*.thy 
-	@$(USEDIR) -D generated -f ROOT1.ML Prio Slides
-	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/slides.pdf
pip