Mercurial Mercurial > hg > lexing / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
thys2/ROOT
changeset 396 cc8e231529fb
parent 370 5499ba68188c 
--- a/thys2/ROOT	Sat Jan 22 22:57:28 2022 +0000
+++ b/thys2/ROOT	Tue Jan 25 13:12:50 2022 +0000
@@ -1,6 +1,6 @@
 
 
-
+(*
 session Journal in Journal = "HOL" +
   options [ document_output = "..", document_variants="journal", document = pdf]
   sessions
@@ -23,3 +23,34 @@
      "root.bib"
      "root.tex"
      "llncs.cls"
+*)
+
+session Paper in Paper = "HOL" +
+  options [ document_output = "..",
+            document_build = "pdflatex",
+	    document_variants="paper",
+	    document = pdf,
+	    document_heading_prefix = "",
+	    document_comment_latex]
+  sessions
+    "HOL-Library"
+  directories
+     ".." 
+  theories [document = false]
+     "HOL-Library.LaTeXsugar"
+     "HOL-Library.Sublist"
+     "../Spec"
+     "../Lexer"
+     "../RegLangs"
+     "../Simplifying"
+     "../Sulzmann" 
+     "../Positions"
+     "../SizeBound4"
+  theories [document = true] 
+     "Paper"
+  document_files
+     "cc-by.pdf"
+     "lipics-logo-bw.pdf"
+     "root.bib"
+     "root.tex"
+     "lipics-v2021.cls"
\ No newline at end of file
lexing