ROOT
changeset 10 03c5f0393a2c
parent 7 192672a6fff4
child 18 d826899bc424
--- a/ROOT	Mon Mar 24 12:15:55 2014 +0000
+++ b/ROOT	Tue Mar 25 11:20:36 2014 +0000
@@ -16,4 +16,10 @@
     LetElim
     AList
     StateMonad
-    TM_Assemble
\ No newline at end of file
+    TM_Assemble
+
+session "Paper" in "paper" = TM +
+  options [document = pdf, document_output = "..", document_variants = "journal"]
+  theories
+    Paper
+  files "document/root.tex"
\ No newline at end of file