Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/Demo_LLNCS/ROOT
author wenzelm
Sat, 05 Nov 2022 12:12:33 +0100
changeset 76448 7b2dbd093ca2
parent 76443 8dbb0b2f6576
child 76454 f2d17e69e520
permissions -rw-r--r--
clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although Springer might not like it;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
76443
8dbb0b2f6576 support for Springer LLNCS with demo document;
wenzelm
parents:
diff changeset 
     1
 
chapter Doc
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 +








76448






7b2dbd093ca2
clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although Springer might not like it;



wenzelm


parents: 
76443

diff
changeset




     4


  options [document_variants = "demo_llncs"]








76443






8dbb0b2f6576
support for Springer LLNCS with demo document;



wenzelm


parents: 

diff
changeset




     5


  theories













8dbb0b2f6576
support for Springer LLNCS with demo document;



wenzelm


parents: 

diff
changeset




     6


    Document













8dbb0b2f6576
support for Springer LLNCS with demo document;



wenzelm


parents: 

diff
changeset




     7


  document_files (in "$ISABELLE_LLNCS_HOME")













8dbb0b2f6576
support for Springer LLNCS with demo document;



wenzelm


parents: 

diff
changeset




     8


    "llncs.cls"













8dbb0b2f6576
support for Springer LLNCS with demo document;



wenzelm


parents: 

diff
changeset




     9


    "splncs04.bst"













8dbb0b2f6576
support for Springer LLNCS with demo document;



wenzelm


parents: 

diff
changeset




    10


  document_files













8dbb0b2f6576
support for Springer LLNCS with demo document;



wenzelm


parents: 

diff
changeset




    11


    "root.bib"













8dbb0b2f6576
support for Springer LLNCS with demo document;



wenzelm


parents: 

diff
changeset




    12


    "root.tex"















isabelle