--- 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"