author | wenzelm |
Wed, 12 Mar 2025 11:39:00 +0100 | |
changeset 82265 | 4b875a4c83b0 |
parent 76454 | f2d17e69e520 |
permissions | -rw-r--r-- |
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"