diff --git a/examples/technical_report/IsaDof_Manual/00_Frontmatter.thy b/examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy similarity index 100% rename from examples/technical_report/IsaDof_Manual/00_Frontmatter.thy rename to examples/technical_report/Isabelle_DOF-Manual/00_Frontmatter.thy diff --git a/examples/technical_report/IsaDof_Manual/01_Introduction.thy b/examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy similarity index 100% rename from examples/technical_report/IsaDof_Manual/01_Introduction.thy rename to examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy diff --git a/examples/technical_report/IsaDof_Manual/02_Background.thy b/examples/technical_report/Isabelle_DOF-Manual/02_Background.thy similarity index 100% rename from examples/technical_report/IsaDof_Manual/02_Background.thy rename to examples/technical_report/Isabelle_DOF-Manual/02_Background.thy diff --git a/examples/technical_report/IsaDof_Manual/03_GuidedTour.thy b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy similarity index 100% rename from examples/technical_report/IsaDof_Manual/03_GuidedTour.thy rename to examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy diff --git a/examples/technical_report/IsaDof_Manual/04_IsaDofImpl.thy b/examples/technical_report/Isabelle_DOF-Manual/04_IsaDofImpl.thy similarity index 100% rename from examples/technical_report/IsaDof_Manual/04_IsaDofImpl.thy rename to examples/technical_report/Isabelle_DOF-Manual/04_IsaDofImpl.thy diff --git a/examples/technical_report/IsaDof_Manual/04_RefMan.thy b/examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy similarity index 100% rename from examples/technical_report/IsaDof_Manual/04_RefMan.thy rename to examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy diff --git a/examples/technical_report/IsaDof_Manual/05_DesignImpl.thy b/examples/technical_report/Isabelle_DOF-Manual/05_DesignImpl.thy similarity index 100% rename from examples/technical_report/IsaDof_Manual/05_DesignImpl.thy rename to examples/technical_report/Isabelle_DOF-Manual/05_DesignImpl.thy diff --git a/examples/technical_report/IsaDof_Manual/05_IsaDofLaTeX.thy b/examples/technical_report/Isabelle_DOF-Manual/05_IsaDofLaTeX.thy similarity index 100% rename from examples/technical_report/IsaDof_Manual/05_IsaDofLaTeX.thy rename to examples/technical_report/Isabelle_DOF-Manual/05_IsaDofLaTeX.thy diff --git a/examples/technical_report/IsaDof_Manual/06_Conclusion.thy b/examples/technical_report/Isabelle_DOF-Manual/06_Conclusion.thy similarity index 100% rename from examples/technical_report/IsaDof_Manual/06_Conclusion.thy rename to examples/technical_report/Isabelle_DOF-Manual/06_Conclusion.thy diff --git a/examples/technical_report/IsaDof_Manual/IsaDofManual.thy b/examples/technical_report/Isabelle_DOF-Manual/Isabelle_DOF-Manual.thy similarity index 90% rename from examples/technical_report/IsaDof_Manual/IsaDofManual.thy rename to examples/technical_report/Isabelle_DOF-Manual/Isabelle_DOF-Manual.thy index a7a39c1..458e895 100644 --- a/examples/technical_report/IsaDof_Manual/IsaDofManual.thy +++ b/examples/technical_report/Isabelle_DOF-Manual/Isabelle_DOF-Manual.thy @@ -1,5 +1,5 @@ (*<*) -theory IsaDofManual +theory "Isabelle_DOF-Manual" imports "06_Conclusion" begin (*<*) diff --git a/examples/technical_report/IsaDof_Manual/ROOT b/examples/technical_report/Isabelle_DOF-Manual/ROOT similarity index 66% rename from examples/technical_report/IsaDof_Manual/ROOT rename to examples/technical_report/Isabelle_DOF-Manual/ROOT index 98af32f..9d8f6c9 100644 --- a/examples/technical_report/IsaDof_Manual/ROOT +++ b/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/Dogfood-Intro.png" - "figures/InteractiveMathSheet.png" + "figures/antiquotations-PIDE.png" + "figures/cicm2018-combined.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/srac-definition.png" - "figures/srac-as-es-application.png" - "figures/Dogfood-figures.png" - - "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/InteractiveMathSheet.png" + "figures/IsaArchGlobal.png" + "figures/IsaArchInteract.png" + "figures/IsaArch.odp" + "figures/isabelle-architecture.pdf" "figures/isabelle-architecture.svg" - "figures/Dogfood-figures.png" - "figures/cicm2018-dof.png" "figures/isadof.png" - "figures/cicm2018-pdf.png" - "figures/IsaArch.odp" - "figures/document-hierarchy.pdf" + "figures/PIDE-interaction.pdf" + "figures/srac-as-es-application.png" "figures/srac-definition.png" + "figures/Isabelle_DOF-logo.pdf" diff --git a/examples/technical_report/IsaDof_Manual/document/build b/examples/technical_report/Isabelle_DOF-Manual/document/build similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/build rename to examples/technical_report/Isabelle_DOF-Manual/document/build diff --git a/examples/technical_report/IsaDof_Manual/document/figures/Dogfood-II-bgnd1.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-II-bgnd1.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/Dogfood-II-bgnd1.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-II-bgnd1.png diff --git a/examples/technical_report/IsaDof_Manual/document/figures/Dogfood-III-bgnd-text_section.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-III-bgnd-text_section.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/Dogfood-III-bgnd-text_section.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-III-bgnd-text_section.png diff --git a/examples/technical_report/IsaDof_Manual/document/figures/Dogfood-IV-jumpInDocCLass.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-IV-jumpInDocCLass.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/Dogfood-IV-jumpInDocCLass.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-IV-jumpInDocCLass.png diff --git a/examples/technical_report/IsaDof_Manual/document/figures/Dogfood-Intro.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-Intro.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/Dogfood-Intro.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-Intro.png diff --git a/examples/technical_report/IsaDof_Manual/document/figures/Dogfood-V-attribute.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-V-attribute.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/Dogfood-V-attribute.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-V-attribute.png diff --git a/examples/technical_report/IsaDof_Manual/document/figures/Dogfood-figures.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-figures.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/Dogfood-figures.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/Dogfood-figures.png diff --git a/examples/technical_report/IsaDof_Manual/document/figures/InteractiveMathSheet.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/InteractiveMathSheet.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/InteractiveMathSheet.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/InteractiveMathSheet.png diff --git a/examples/technical_report/IsaDof_Manual/document/figures/IsaArch.odp b/examples/technical_report/Isabelle_DOF-Manual/document/figures/IsaArch.odp similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/IsaArch.odp rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/IsaArch.odp diff --git a/examples/technical_report/IsaDof_Manual/document/figures/IsaArchGlobal.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/IsaArchGlobal.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/IsaArchGlobal.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/IsaArchGlobal.png diff --git a/examples/technical_report/IsaDof_Manual/document/figures/IsaArchInteract.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/IsaArchInteract.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/IsaArchInteract.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/IsaArchInteract.png diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/figures/Isabelle_DOF-logo.pdf b/examples/technical_report/Isabelle_DOF-Manual/document/figures/Isabelle_DOF-logo.pdf new file mode 100644 index 0000000..2181d2d Binary files /dev/null and b/examples/technical_report/Isabelle_DOF-Manual/document/figures/Isabelle_DOF-logo.pdf differ diff --git a/examples/technical_report/IsaDof_Manual/document/figures/PIDE-interaction.pdf b/examples/technical_report/Isabelle_DOF-Manual/document/figures/PIDE-interaction.pdf similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/PIDE-interaction.pdf rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/PIDE-interaction.pdf diff --git a/examples/technical_report/IsaDof_Manual/document/figures/antiquotations-PIDE.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/antiquotations-PIDE.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/antiquotations-PIDE.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/antiquotations-PIDE.png diff --git a/examples/technical_report/IsaDof_Manual/document/figures/cicm2018-combined.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/cicm2018-combined.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/cicm2018-combined.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/cicm2018-combined.png diff --git a/examples/technical_report/IsaDof_Manual/document/figures/cicm2018-dof.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/cicm2018-dof.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/cicm2018-dof.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/cicm2018-dof.png diff --git a/examples/technical_report/IsaDof_Manual/document/figures/cicm2018-pdf.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/cicm2018-pdf.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/cicm2018-pdf.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/cicm2018-pdf.png diff --git a/examples/technical_report/IsaDof_Manual/document/figures/document-hierarchy.pdf b/examples/technical_report/Isabelle_DOF-Manual/document/figures/document-hierarchy.pdf similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/document-hierarchy.pdf rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/document-hierarchy.pdf diff --git a/examples/technical_report/IsaDof_Manual/document/figures/document-hierarchy.svg b/examples/technical_report/Isabelle_DOF-Manual/document/figures/document-hierarchy.svg similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/document-hierarchy.svg rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/document-hierarchy.svg diff --git a/examples/technical_report/IsaDof_Manual/document/figures/document-model.key b/examples/technical_report/Isabelle_DOF-Manual/document/figures/document-model.key similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/document-model.key rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/document-model.key diff --git a/examples/technical_report/IsaDof_Manual/document/figures/document-model.pdf b/examples/technical_report/Isabelle_DOF-Manual/document/figures/document-model.pdf similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/document-model.pdf rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/document-model.pdf diff --git a/examples/technical_report/IsaDof_Manual/document/figures/isabelle-architecture.pdf b/examples/technical_report/Isabelle_DOF-Manual/document/figures/isabelle-architecture.pdf similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/isabelle-architecture.pdf rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/isabelle-architecture.pdf diff --git a/examples/technical_report/IsaDof_Manual/document/figures/isabelle-architecture.svg b/examples/technical_report/Isabelle_DOF-Manual/document/figures/isabelle-architecture.svg similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/isabelle-architecture.svg rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/isabelle-architecture.svg diff --git a/examples/technical_report/IsaDof_Manual/document/figures/isadof.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/isadof.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/isadof.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/isadof.png diff --git a/examples/technical_report/IsaDof_Manual/document/figures/srac-as-es-application.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/srac-as-es-application.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/srac-as-es-application.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/srac-as-es-application.png diff --git a/examples/technical_report/IsaDof_Manual/document/figures/srac-definition.png b/examples/technical_report/Isabelle_DOF-Manual/document/figures/srac-definition.png similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/figures/srac-definition.png rename to examples/technical_report/Isabelle_DOF-Manual/document/figures/srac-definition.png diff --git a/examples/technical_report/IsaDof_Manual/document/isadof.cfg b/examples/technical_report/Isabelle_DOF-Manual/document/isadof.cfg similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/isadof.cfg rename to examples/technical_report/Isabelle_DOF-Manual/document/isadof.cfg diff --git a/examples/technical_report/IsaDof_Manual/document/lstisadof.sty b/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof.sty similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/lstisadof.sty rename to examples/technical_report/Isabelle_DOF-Manual/document/lstisadof.sty diff --git a/examples/technical_report/IsaDof_Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex similarity index 94% rename from examples/technical_report/IsaDof_Manual/document/preamble.tex rename to examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex index 1efbe77..736d85b 100644 --- a/examples/technical_report/IsaDof_Manual/document/preamble.tex +++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex @@ -132,16 +132,24 @@ SPDX-License-Identifier: BSD-2-Clause -\publishers{\normalsize -\begin{tabular}{p{5.5cm}cp{8cm}} +\publishers{ +\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 diff --git a/examples/technical_report/IsaDof_Manual/document/root.bib b/examples/technical_report/Isabelle_DOF-Manual/document/root.bib similarity index 100% rename from examples/technical_report/IsaDof_Manual/document/root.bib rename to examples/technical_report/Isabelle_DOF-Manual/document/root.bib diff --git a/examples/technical_report/ROOTS b/examples/technical_report/ROOTS index 55d7c55..d4b62f1 100644 --- a/examples/technical_report/ROOTS +++ b/examples/technical_report/ROOTS @@ -1,2 +1,2 @@ -IsaDof_Manual +Isabelle_DOF-Manual TR_my_commented_isabelle