diff -r f9cdc295ccf7 -r f493a20feeb3 thys3/ROOT
--- a/thys3/ROOT	Thu Apr 28 15:56:22 2022 +0100
+++ b/thys3/ROOT	Sat Apr 30 00:50:08 2022 +0100
@@ -1,4 +1,4 @@
-session Posix = "HOL-Library" + 
+session Posix in src = "HOL-Library" + 
 theories[document = false]
      "HOL-Library.Sublist"
      "RegLangs"
@@ -13,4 +13,21 @@
      "ClosedForms"
      "GeneralRegexBound"
      "ClosedFormsBounds"
-     "FBound"
\ No newline at end of file
+     "FBound"
+
+
+session Paper = Posix +
+  options [document_variants="paper",
+           document = pdf,
+           document_output = ".",
+	   document_comment_latex,
+	   document_build = "pdflatex",
+	   document_heading_prefix = ""]
+theories
+    Paper
+document_files
+  "root.tex"
+  "lipics-v2021.cls"
+  "cc-by.pdf"
+  "lipics-logo-bw.pdf"
+  "root.bib"
\ No newline at end of file