--- a/ROOT	Thu Jun 20 23:28:26 2013 -0400
+++ b/ROOT	Tue Feb 25 20:01:47 2014 +0000
@@ -4,7 +4,7 @@
 	"ExtGG" 
 
 session "Slides2" in "Slides" = PIP +
-  options [document = pdf, browser_info = false, document_output = "..", document_variants="slides2"]
+  options [document_variants="slides2"]
   theories [document = false]
     "~~/src/HOL/Library/LaTeXsugar"
   theories[document = true]
@@ -19,4 +19,21 @@
   theories[document = true, show_question_marks = false]
     "Slides3"
   files
-    "document/build"
\ No newline at end of file
+    "document/build"
+
+session "Slides4" in "Slides" = PIP +
+  options [document = pdf, browser_info = false, document_output = "..",
+document_variants="slides4"]
+  theories [document = false]
+    "~~/src/HOL/Library/LaTeXsugar"
+  theories[document = true, show_question_marks = false]
+    "Slides4"
+  files
+    "document/build"
+
+
+session Journal in "Journal" = PIP +
+  options [document = pdf, document_output = "..", document_variants="journal"]
+  theories 
+    "~~/src/HOL/Library/LaTeXsugar"
+    "Paper"