clarified document;
authorwenzelm
Mon, 16 Nov 2020 22:21:40 +0100
changeset 72860 65554bac121b
parent 72859 429afd0d1a79
child 72861 830222403681
clarified document;
src/HOL/ROOT
src/HOL/document/root.tex
--- 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}