--- a/thys/ROOT	Sun Feb 26 00:12:18 2017 +0000
+++ b/thys/ROOT	Sun Feb 26 23:46:22 2017 +0000
@@ -14,3 +14,12 @@
     "root.bib"
     "root.tex" 
 
+
+session Journal in "Journal" = Lex +
+  options [document = pdf, document_output = "..", document_variants="journal"]
+  theories 
+    "~~/src/HOL/Library/LaTeXsugar"
+    "Paper"
+  document_files
+    "root.bib"
+    "root.tex"