diff -r a21fb87bb0bd -r 447b433b67fa ROOT
--- a/ROOT	Tue Sep 03 15:02:52 2013 +0100
+++ b/ROOT	Sat Nov 23 13:23:53 2013 +0000
@@ -1,5 +1,5 @@
 session UTM = HOL +
-  options [document = false]
+  options [quick_and_dirty, document = false]
   theories
     "thys/Turing"
     "thys/Turing_Hoare"
@@ -37,3 +37,11 @@
     "Slides2"
   files
     "document/root.tex"
+
+
+session Slides3 in Slides = UTM +
+  options [quick_and_dirty, document = pdf, document_output = "..", document_variants = "slides3"]
+  theories
+    "Slides3"
+  files
+    "document/root.tex"
\ No newline at end of file