# HG changeset patch
# User wenzelm
# Date 1667646753 -3600
# Node ID 7b2dbd093ca2dff54d2869f0632b06c103aee35d
# Parent  391b8db24c66dca5710c2f66f1308572b6a47509
clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although Springer might not like it;

diff -r 391b8db24c66 -r 7b2dbd093ca2 src/Doc/Demo_LLNCS/ROOT
--- a/src/Doc/Demo_LLNCS/ROOT	Sat Nov 05 09:57:51 2022 +0100
+++ b/src/Doc/Demo_LLNCS/ROOT	Sat Nov 05 12:12:33 2022 +0100
@@ -1,8 +1,7 @@
 chapter Doc
 
 session Demo_LLNCS (doc) = HOL +
-  options [document_variants = "demo_llncs",
-    document_build = "pdflatex", document_heading_prefix = "", document_comment_latex]
+  options [document_variants = "demo_llncs"]
   theories
     Document
   document_files (in "$ISABELLE_LLNCS_HOME")