From 281cb5541cf41ec5e09dc86ad2a7e6ffffe6bcff Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 22 Jul 2019 14:41:29 +0100 Subject: [PATCH] Fixed naming inconsistency. --- .../00_Frontmatter.thy | 0 .../01_Introduction.thy | 0 .../02_Background.thy | 0 .../03_GuidedTour.thy | 0 .../04_IsaDofImpl.thy | 0 .../04_RefMan.thy | 0 .../05_DesignImpl.thy | 0 .../05_IsaDofLaTeX.thy | 0 .../06_Conclusion.thy | 0 .../Isabelle_DOF-Manual.thy} | 2 +- .../ROOT | 42 ++++++++---------- .../document/build | 0 .../document/figures/Dogfood-II-bgnd1.png | Bin .../figures/Dogfood-III-bgnd-text_section.png | Bin .../figures/Dogfood-IV-jumpInDocCLass.png | Bin .../document/figures/Dogfood-Intro.png | Bin .../document/figures/Dogfood-V-attribute.png | Bin .../document/figures/Dogfood-figures.png | Bin .../document/figures/InteractiveMathSheet.png | Bin .../document/figures/IsaArch.odp | Bin .../document/figures/IsaArchGlobal.png | Bin .../document/figures/IsaArchInteract.png | Bin .../document/figures/PIDE-interaction.pdf | Bin .../document/figures/antiquotations-PIDE.png | Bin .../document/figures/cicm2018-combined.png | Bin .../document/figures/cicm2018-dof.png | Bin .../document/figures/cicm2018-pdf.png | Bin .../document/figures/document-hierarchy.pdf | Bin .../document/figures/document-hierarchy.svg | 0 .../document/figures/document-model.key | Bin .../document/figures/document-model.pdf | Bin .../figures/isabelle-architecture.pdf | Bin .../figures/isabelle-architecture.svg | 0 .../document/figures/isadof.png | Bin .../figures/srac-as-es-application.png | Bin .../document/figures/srac-definition.png | Bin .../document/isadof.cfg | 0 .../document/lstisadof.sty | 0 .../document/preamble.tex | 0 .../document/root.bib | 0 examples/technical_report/ROOTS | 2 +- 41 files changed, 21 insertions(+), 25 deletions(-) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/00_Frontmatter.thy (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/01_Introduction.thy (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/02_Background.thy (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/03_GuidedTour.thy (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/04_IsaDofImpl.thy (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/04_RefMan.thy (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/05_DesignImpl.thy (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/05_IsaDofLaTeX.thy (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/06_Conclusion.thy (100%) rename examples/technical_report/{IsaDof_Manual/IsaDofManual.thy => Isabelle_DOF-Manual/Isabelle_DOF-Manual.thy} (90%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/ROOT (66%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/build (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/Dogfood-II-bgnd1.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/Dogfood-III-bgnd-text_section.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/Dogfood-IV-jumpInDocCLass.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/Dogfood-Intro.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/Dogfood-V-attribute.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/Dogfood-figures.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/InteractiveMathSheet.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/IsaArch.odp (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/IsaArchGlobal.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/IsaArchInteract.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/PIDE-interaction.pdf (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/antiquotations-PIDE.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/cicm2018-combined.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/cicm2018-dof.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/cicm2018-pdf.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/document-hierarchy.pdf (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/document-hierarchy.svg (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/document-model.key (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/document-model.pdf (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/isabelle-architecture.pdf (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/isabelle-architecture.svg (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/isadof.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/srac-as-es-application.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/figures/srac-definition.png (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/isadof.cfg (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/lstisadof.sty (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/preamble.tex (100%) rename examples/technical_report/{IsaDof_Manual => Isabelle_DOF-Manual}/document/root.bib (100%) 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..6a6dbf7 100644 --- a/examples/technical_report/IsaDof_Manual/ROOT +++ b/examples/technical_report/Isabelle_DOF-Manual/ROOT @@ -1,38 +1,34 @@ -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" 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/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 100% rename from examples/technical_report/IsaDof_Manual/document/preamble.tex rename to examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex 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