|
chapter Doc (*Isabelle documentation*)
session Demo_LLNCS (doc) = HOL +
options [
document_variants = "demo_llncs", (*Isabelle documentation*)
document_build = "pdflatex" (*or: omit option for LuaLaTeX*)
]
theories
Document
document_files (in "$ISABELLE_LLNCS_HOME")
"llncs.cls"
"splncs04.bst"
document_files
"root.bib"
"root.tex"
[ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
]
|
