| changeset 76443 | 8dbb0b2f6576 |
| child 76448 | 7b2dbd093ca2 |
| 76442:3d491d1eeff7 | 76443:8dbb0b2f6576 |
|---|---|
1 chapter Doc |
|
2 |
|
3 session Demo_LLNCS (doc) = HOL + |
|
4 options [document_variants = "demo_llncs", |
|
5 document_build = "pdflatex", document_heading_prefix = "", document_comment_latex] |
|
6 theories |
|
7 Document |
|
8 document_files (in "$ISABELLE_LLNCS_HOME") |
|
9 "llncs.cls" |
|
10 "splncs04.bst" |
|
11 document_files |
|
12 "root.bib" |
|
13 "root.tex" |