diff -r 15b8fc34cb08 -r 5c283ecefda6 ROOT
--- a/ROOT	Wed Oct 02 13:17:32 2013 +0100
+++ b/ROOT	Thu Oct 03 15:29:03 2013 +0100
@@ -18,3 +18,7 @@
   theories
     "Paper"
 
+session Slides6 in "Slides" = Myhill +
+  options [document = pdf, document_output= "..", document_variants = "slides6"]
+  theories
+    "Slides6"
\ No newline at end of file