isabelle: src/Doc/Demo_LLNCS/ROOT@4aa4bd946f96 (annotated)

76454 f2d17e69e520 clarified options: support lualatex as well, but prefer old pdflatex for demos; wenzelm parents: 76448 diff changeset	1	chapter Doc (Isabelle documentation)
76443 8dbb0b2f6576 support for Springer LLNCS with demo document; wenzelm parents: diff changeset	2
8dbb0b2f6576 support for Springer LLNCS with demo document; wenzelm parents: diff changeset	3	session Demo_LLNCS (doc) = HOL +
76454 f2d17e69e520 clarified options: support lualatex as well, but prefer old pdflatex for demos; wenzelm parents: 76448 diff changeset	4	options [
f2d17e69e520 clarified options: support lualatex as well, but prefer old pdflatex for demos; wenzelm parents: 76448 diff changeset	5	document_variants = "demo_llncs", (Isabelle documentation)
f2d17e69e520 clarified options: support lualatex as well, but prefer old pdflatex for demos; wenzelm parents: 76448 diff changeset	6	document_build = "pdflatex" (or: omit option for LuaLaTeX)
f2d17e69e520 clarified options: support lualatex as well, but prefer old pdflatex for demos; wenzelm parents: 76448 diff changeset	7	]
76443 8dbb0b2f6576 support for Springer LLNCS with demo document; wenzelm parents: diff changeset	8	theories
8dbb0b2f6576 support for Springer LLNCS with demo document; wenzelm parents: diff changeset	9	Document
8dbb0b2f6576 support for Springer LLNCS with demo document; wenzelm parents: diff changeset	10	document_files (in "$ISABELLE_LLNCS_HOME")
8dbb0b2f6576 support for Springer LLNCS with demo document; wenzelm parents: diff changeset	11	"llncs.cls"
8dbb0b2f6576 support for Springer LLNCS with demo document; wenzelm parents: diff changeset	12	"splncs04.bst"
8dbb0b2f6576 support for Springer LLNCS with demo document; wenzelm parents: diff changeset	13	document_files
8dbb0b2f6576 support for Springer LLNCS with demo document; wenzelm parents: diff changeset	14	"root.bib"
8dbb0b2f6576 support for Springer LLNCS with demo document; wenzelm parents: diff changeset	15	"root.tex"

author	Thomas Lindae <thomas.lindae@in.tum.de>
	Thu, 18 Jul 2024 01:18:43 +0200
changeset 81080	4aa4bd946f96
parent 76454	f2d17e69e520
permissions	-rw-r--r--