equal
deleted
inserted
replaced
1 chapter Doc |
1 chapter Doc |
2 |
2 |
3 session Demo_LIPIcs (doc) = HOL + |
3 session Demo_LIPIcs (doc) = HOL + |
4 options [document_variants = "demo_lipics", |
4 options [document_variants = "demo_lipics", |
5 document_build = "pdflatex", document_heading_prefix = "", document_comment_latex] |
5 document_build = "lipics"] |
6 theories |
6 theories |
7 Document |
7 Document |
8 document_files (in "$ISABELLE_LIPICS_HOME") |
|
9 "cc-by.pdf" |
|
10 "lipics-logo-bw.pdf" |
|
11 "lipics-v2021.cls" |
|
12 document_files |
8 document_files |
13 "root.bib" |
9 "root.bib" |
14 "root.tex" |
10 "root.tex" |