ROOT
changeset 18 cfd4b8219c87
parent 10 569222a42cf5
--- a/ROOT	Fri Sep 20 12:22:04 2013 +0100
+++ b/ROOT	Fri Dec 13 10:37:25 2013 +1100
@@ -10,4 +10,9 @@
   theories
     "Paper"
 
-
+session "Slides1" in Slides = RC +
+  options [document = pdf, document_output = "..", document_variants = "slides1"]
+  theories
+    "Slides1"
+  files
+    "document/root.tex"