Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified document;
authorwenzelm
Mon, 16 Nov 2020 22:21:40 +0100
changeset 72621 65554bac121b
parent 72620 429afd0d1a79
child 72622 830222403681
clarified document;
src/HOL/ROOT file | annotate | diff | comparison | revisions
src/HOL/document/root.tex file | annotate | diff | comparison | revisions 
--- a/src/HOL/ROOT	Mon Nov 16 13:11:15 2020 +0100
+++ b/src/HOL/ROOT	Mon Nov 16 22:21:40 2020 +0100
@@ -9,6 +9,8 @@
   theories
     Main (global)
     Complex_Main (global)
+  document_theories
+    Tools.Code_Generator
   document_files
     "root.bib"
     "root.tex"
--- a/src/HOL/document/root.tex	Mon Nov 16 13:11:15 2020 +0100
+++ b/src/HOL/document/root.tex	Mon Nov 16 22:21:40 2020 +0100
@@ -28,6 +28,7 @@
 \renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
 
 \parindent 0pt\parskip 0.5ex
+\input{Code_Generator.tex}
 \input{session}
 
 \pagestyle{headings}
isabelle