365
|
1 |
|
|
2 |
|
396
|
3 |
(*
|
365
|
4 |
session Journal in Journal = "HOL" +
|
|
5 |
options [ document_output = "..", document_variants="journal", document = pdf]
|
|
6 |
sessions
|
|
7 |
"HOL-Library"
|
|
8 |
directories
|
|
9 |
".."
|
|
10 |
theories [document = false]
|
|
11 |
"HOL-Library.LaTeXsugar"
|
|
12 |
"HOL-Library.Sublist"
|
|
13 |
"../Spec"
|
|
14 |
"../Lexer"
|
|
15 |
"../RegLangs"
|
|
16 |
"../Simplifying"
|
|
17 |
"../Sulzmann"
|
370
|
18 |
"../Positions"
|
|
19 |
"../SizeBound"
|
365
|
20 |
theories [document = true]
|
|
21 |
"Paper"
|
|
22 |
document_files
|
|
23 |
"root.bib"
|
|
24 |
"root.tex"
|
|
25 |
"llncs.cls"
|
396
|
26 |
*)
|
|
27 |
|
|
28 |
session Paper in Paper = "HOL" +
|
|
29 |
options [ document_output = "..",
|
|
30 |
document_build = "pdflatex",
|
|
31 |
document_variants="paper",
|
|
32 |
document = pdf,
|
|
33 |
document_heading_prefix = "",
|
|
34 |
document_comment_latex]
|
|
35 |
sessions
|
|
36 |
"HOL-Library"
|
|
37 |
directories
|
|
38 |
".."
|
|
39 |
theories [document = false]
|
|
40 |
"HOL-Library.LaTeXsugar"
|
|
41 |
"HOL-Library.Sublist"
|
|
42 |
"../Spec"
|
|
43 |
"../Lexer"
|
|
44 |
"../RegLangs"
|
|
45 |
"../Simplifying"
|
|
46 |
"../Sulzmann"
|
|
47 |
"../Positions"
|
|
48 |
"../SizeBound4"
|
|
49 |
theories [document = true]
|
|
50 |
"Paper"
|
|
51 |
document_files
|
|
52 |
"cc-by.pdf"
|
|
53 |
"lipics-logo-bw.pdf"
|
|
54 |
"root.bib"
|
|
55 |
"root.tex"
|
|
56 |
"lipics-v2021.cls" |