diff -r ccec33db31d4 -r 4457185b22ef ROOT
--- a/ROOT	Wed Jun 26 14:42:42 2013 +0100
+++ b/ROOT	Wed Jul 17 10:33:19 2013 +0100
@@ -12,7 +12,17 @@
     "thys/UF"
     "thys/UTM"
 
-session ITP = UTM +
-  options [document = pdf, document_output = "."]
+session ITP in Paper = UTM +
+  options [document = pdf, document_output = "..", document_variants = "paper"]
   theories
-    "Paper/Paper"
\ No newline at end of file
+    "Paper"
+
+session Slides1 in Slides = UTM +
+  options [document = pdf, document_output = "..", document_variants = "slides1"]
+  theories
+    "Slides1"
+
+session Slides2 in Slides = UTM +
+  options [document = pdf, document_output = "..", document_variants = "slides2"]
+  theories
+    "Slides2"
\ No newline at end of file