equal
deleted
inserted
replaced
1 |
1 |
2 |
2 |
3 |
3 (* |
4 session Journal in Journal = "HOL" + |
4 session Journal in Journal = "HOL" + |
5 options [ document_output = "..", document_variants="journal", document = pdf] |
5 options [ document_output = "..", document_variants="journal", document = pdf] |
6 sessions |
6 sessions |
7 "HOL-Library" |
7 "HOL-Library" |
8 directories |
8 directories |
21 "Paper" |
21 "Paper" |
22 document_files |
22 document_files |
23 "root.bib" |
23 "root.bib" |
24 "root.tex" |
24 "root.tex" |
25 "llncs.cls" |
25 "llncs.cls" |
|
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" |