Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF

examples/technical_report/Isabelle_DOF-Manual/Isabelle_DOF-Manual.thy

@@ -1,5 +1,5 @@
 (*<*)
-theory IsaDofManual
+theory "Isabelle_DOF-Manual"
   imports "06_Conclusion"
 begin
 (*<*) 

examples/technical_report/Isabelle_DOF-Manual/ROOT

@@ -1,38 +1,35 @@
-session "IsaDofManual" = "Isabelle_DOF" + 
+session "Isabelle_DOF-Manual" = "Isabelle_DOF" + 
   options  [document = pdf, document_output = "output", quick_and_dirty = true]
   theories
-    IsaDofManual
+    "Isabelle_DOF-Manual"
   document_files
     "isadof.cfg"
     "root.bib"
     "preamble.tex"
     "build"
     "lstisadof.sty"
-    "figures/isabelle-architecture.pdf"
+    "figures/antiquotations-PIDE.png"
-    "figures/Dogfood-Intro.png"
+    "figures/cicm2018-combined.png"
-    "figures/InteractiveMathSheet.png"
+    "figures/cicm2018-dof.png"
+    "figures/cicm2018-pdf.png"
+    "figures/document-hierarchy.pdf"
+    "figures/document-hierarchy.svg"
+    "figures/document-model.key"
+    "figures/document-model.pdf"
+    "figures/Dogfood-figures.png"
     "figures/Dogfood-II-bgnd1.png"
     "figures/Dogfood-III-bgnd-text_section.png"
+    "figures/Dogfood-Intro.png"
     "figures/Dogfood-IV-jumpInDocCLass.png"
-    "figures/Dogfood-III-bgnd-text_section.png"
     "figures/Dogfood-V-attribute.png"
-    "figures/antiquotations-PIDE.png"
+    "figures/InteractiveMathSheet.png"
-    "figures/srac-definition.png"
+    "figures/IsaArchGlobal.png"
-    "figures/srac-as-es-application.png"
+    "figures/IsaArchInteract.png"
-    "figures/Dogfood-figures.png"
+    "figures/IsaArch.odp"
-
+    "figures/isabelle-architecture.pdf"
-    "figures/IsaArchGlobal.png"	
-    "figures/document-hierarchy.svg"
-    "figures/IsaArchInteract.png"			
-    "figures/document-model.key"
-    "figures/PIDE-interaction.pdf"
-    "figures/document-model.pdf"		
-    "figures/cicm2018-combined.png"
     "figures/isabelle-architecture.svg"
-    "figures/Dogfood-figures.png"		
-    "figures/cicm2018-dof.png"	
     "figures/isadof.png"
-    "figures/cicm2018-pdf.png"		
+    "figures/PIDE-interaction.pdf"
-    "figures/IsaArch.odp"			
+    "figures/srac-as-es-application.png"
-    "figures/document-hierarchy.pdf"		
     "figures/srac-definition.png"
+    "figures/Isabelle_DOF-logo.pdf"

examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex

@@ -132,16 +132,24 @@ SPDX-License-Identifier: BSD-2-Clause
 
 
 
-\publishers{\normalsize
+\publishers{
-\begin{tabular}{p{5.5cm}cp{8cm}}
+\begin{center}
+\includegraphics[width=.25\textwidth]{figures/Isabelle_DOF-logo}
+\end{center}
+\bigskip 
+\bigskip 
+
+\normalsize
+\begin{tabular}{p{5.5cm}cp{5.5cm}}
   Department of Computer Science\newline
   University of Exeter\newline
-  Exeter, EX4 4QF
+  Exeter, EX4 4QF\newline
   UK
 &
   \hspace{.5cm}
 &
-  Laboratoire en Recherche en Informatique (LRI)\newline
+  Laboratoire en Recherche\newline
+  ~~~~en Informatique (LRI)\newline
   Universit\'e Paris-Sud 11\newline
   91405 Orsay Cedex\newline
   France

examples/technical_report/ROOTS

@@ -1,2 +1,2 @@
-IsaDof_Manual
+Isabelle_DOF-Manual
 TR_my_commented_isabelle