diff -r 7f64d98124a8 -r 663816814e3e IsaMakefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/IsaMakefile	Wed Nov 03 21:42:44 2010 +0000
@@ -0,0 +1,33 @@
+
+## targets
+
+default: slides
+all: slides 
+
+## global settings
+
+SRC = $(ISABELLE_HOME)/src
+OUT = $(ISABELLE_OUTPUT)
+LOG = $(OUT)/log
+
+
+USEDIR = $(ISABELLE_TOOL) usedir -v true -t true 
+## Slides
+
+session1: Slides/ROOT1.ML \
+         Slides/document/root* \
+         Slides/Slides1.thy
+	@$(USEDIR) -D generated1 -f ROOT1.ML HOL Slides
+
+slides1: session1 
+	rm -f Slides/generated1/*.aux # otherwise latex will fall over
+	cd Slides/generated1 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex 
+	cp Slides/generated1/root.beamer.pdf Slides/slides.pdf     
+
+slides: slides1 
+
+
+## clean
+
+clean:
+	rm -rf Slides/generated1/*