equal
deleted
inserted
replaced
1 session Posix = "HOL-Library" + |
1 session Posix in src = "HOL-Library" + |
2 theories[document = false] |
2 theories[document = false] |
3 "HOL-Library.Sublist" |
3 "HOL-Library.Sublist" |
4 "RegLangs" |
4 "RegLangs" |
5 "PosixSpec" |
5 "PosixSpec" |
6 "Positions" |
6 "Positions" |
12 "BasicIdentities" |
12 "BasicIdentities" |
13 "ClosedForms" |
13 "ClosedForms" |
14 "GeneralRegexBound" |
14 "GeneralRegexBound" |
15 "ClosedFormsBounds" |
15 "ClosedFormsBounds" |
16 "FBound" |
16 "FBound" |
|
17 |
|
18 |
|
19 session Paper = Posix + |
|
20 options [document_variants="paper", |
|
21 document = pdf, |
|
22 document_output = ".", |
|
23 document_comment_latex, |
|
24 document_build = "pdflatex", |
|
25 document_heading_prefix = ""] |
|
26 theories |
|
27 Paper |
|
28 document_files |
|
29 "root.tex" |
|
30 "lipics-v2021.cls" |
|
31 "cc-by.pdf" |
|
32 "lipics-logo-bw.pdf" |
|
33 "root.bib" |