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_EPTCS/ROOT
author wenzelm
Mon, 11 Sep 2023 19:30:48 +0200
changeset 78659 b5f3d1051b13
parent 76478 d84568379f3f
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
76478
d84568379f3f support for EPTCS style with demo document;
wenzelm
parents:
diff changeset 
     1
 
chapter Doc  (*Isabelle documentation*)
d84568379f3f support for EPTCS style with demo document;
wenzelm
parents:
diff changeset 
     2
 












d84568379f3f
support for EPTCS style with demo document;



wenzelm


parents: 

diff
changeset




     3


session Demo_EPTCS (doc) = HOL +













d84568379f3f
support for EPTCS style with demo document;



wenzelm


parents: 

diff
changeset




     4


  options [













d84568379f3f
support for EPTCS style with demo document;



wenzelm


parents: 

diff
changeset




     5


    document_variants = "demo_eptcs",  (*Isabelle documentation*)













d84568379f3f
support for EPTCS style with demo document;



wenzelm


parents: 

diff
changeset




     6


    document_build = "pdflatex"  (*or: omit option for LuaLaTeX*)













d84568379f3f
support for EPTCS style with demo document;



wenzelm


parents: 

diff
changeset




     7


  ]













d84568379f3f
support for EPTCS style with demo document;



wenzelm


parents: 

diff
changeset




     8


  theories













d84568379f3f
support for EPTCS style with demo document;



wenzelm


parents: 

diff
changeset




     9


    Document













d84568379f3f
support for EPTCS style with demo document;



wenzelm


parents: 

diff
changeset




    10


  document_files (in "$ISABELLE_EPTCS_HOME")













d84568379f3f
support for EPTCS style with demo document;



wenzelm


parents: 

diff
changeset




    11


    "eptcs.bst"













d84568379f3f
support for EPTCS style with demo document;



wenzelm


parents: 

diff
changeset




    12


    "eptcs.cls"













d84568379f3f
support for EPTCS style with demo document;



wenzelm


parents: 

diff
changeset




    13


  document_files













d84568379f3f
support for EPTCS style with demo document;



wenzelm


parents: 

diff
changeset




    14


    "root.bib"













d84568379f3f
support for EPTCS style with demo document;



wenzelm


parents: 

diff
changeset




    15


    "root.tex"















isabelle