From 36f7ebc4bfe342df594470b4fb35c53a7e31abe3 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Tue, 23 Jul 2019 07:41:27 +0100 Subject: [PATCH] Fixed naming inconsistency. --- .../IsaDofApplications.thy | 0 .../ROOT | 2 +- .../document/build | 0 .../document/figures/Dogfood-II-bgnd1.png | Bin .../figures/Dogfood-III-bgnd-text_section.png | Bin .../document/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/antiquotations-PIDE.png | Bin .../document/figures/isabelle-architecture.pdf | Bin .../document/figures/isabelle-architecture.svg | 0 .../document/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/scholarly_paper/ROOTS | 2 +- 20 files changed, 2 insertions(+), 2 deletions(-) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/IsaDofApplications.thy (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/ROOT (91%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/build (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/figures/Dogfood-II-bgnd1.png (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/figures/Dogfood-III-bgnd-text_section.png (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/figures/Dogfood-IV-jumpInDocCLass.png (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/figures/Dogfood-Intro.png (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/figures/Dogfood-V-attribute.png (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/figures/Dogfood-figures.png (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/figures/InteractiveMathSheet.png (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/figures/antiquotations-PIDE.png (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/figures/isabelle-architecture.pdf (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/figures/isabelle-architecture.svg (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/figures/srac-as-es-application.png (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/figures/srac-definition.png (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/isadof.cfg (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/lstisadof.sty (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/preamble.tex (100%) rename examples/scholarly_paper/{2018_cicm => 2018-cicm-isabelle_dof-applications}/document/root.bib (100%) diff --git a/examples/scholarly_paper/2018_cicm/IsaDofApplications.thy b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy similarity index 100% rename from examples/scholarly_paper/2018_cicm/IsaDofApplications.thy rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy diff --git a/examples/scholarly_paper/2018_cicm/ROOT b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/ROOT similarity index 91% rename from examples/scholarly_paper/2018_cicm/ROOT rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/ROOT index 0ea790b9..2e8e931b 100644 --- a/examples/scholarly_paper/2018_cicm/ROOT +++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/ROOT @@ -1,4 +1,4 @@ -session "IsaDofApplications" = "Isabelle_DOF" + +session "2018-cicm-isabelle_dof-applications" = "Isabelle_DOF" + options [document = pdf, document_output = "output", quick_and_dirty = true] theories IsaDofApplications diff --git a/examples/scholarly_paper/2018_cicm/document/build b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/build similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/build rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/build diff --git a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-II-bgnd1.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-II-bgnd1.png similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/figures/Dogfood-II-bgnd1.png rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-II-bgnd1.png diff --git a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-III-bgnd-text_section.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-III-bgnd-text_section.png similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/figures/Dogfood-III-bgnd-text_section.png rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-III-bgnd-text_section.png diff --git a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-IV-jumpInDocCLass.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-IV-jumpInDocCLass.png similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/figures/Dogfood-IV-jumpInDocCLass.png rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-IV-jumpInDocCLass.png diff --git a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-Intro.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-Intro.png similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/figures/Dogfood-Intro.png rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-Intro.png diff --git a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-V-attribute.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-V-attribute.png similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/figures/Dogfood-V-attribute.png rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-V-attribute.png diff --git a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-figures.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-figures.png similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/figures/Dogfood-figures.png rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-figures.png diff --git a/examples/scholarly_paper/2018_cicm/document/figures/InteractiveMathSheet.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/InteractiveMathSheet.png similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/figures/InteractiveMathSheet.png rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/InteractiveMathSheet.png diff --git a/examples/scholarly_paper/2018_cicm/document/figures/antiquotations-PIDE.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/antiquotations-PIDE.png similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/figures/antiquotations-PIDE.png rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/antiquotations-PIDE.png diff --git a/examples/scholarly_paper/2018_cicm/document/figures/isabelle-architecture.pdf b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.pdf similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/figures/isabelle-architecture.pdf rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.pdf diff --git a/examples/scholarly_paper/2018_cicm/document/figures/isabelle-architecture.svg b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.svg similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/figures/isabelle-architecture.svg rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.svg diff --git a/examples/scholarly_paper/2018_cicm/document/figures/srac-as-es-application.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-as-es-application.png similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/figures/srac-as-es-application.png rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-as-es-application.png diff --git a/examples/scholarly_paper/2018_cicm/document/figures/srac-definition.png b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-definition.png similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/figures/srac-definition.png rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-definition.png diff --git a/examples/scholarly_paper/2018_cicm/document/isadof.cfg b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/isadof.cfg similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/isadof.cfg rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/isadof.cfg diff --git a/examples/scholarly_paper/2018_cicm/document/lstisadof.sty b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/lstisadof.sty similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/lstisadof.sty rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/lstisadof.sty diff --git a/examples/scholarly_paper/2018_cicm/document/preamble.tex b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/preamble.tex rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex diff --git a/examples/scholarly_paper/2018_cicm/document/root.bib b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/root.bib similarity index 100% rename from examples/scholarly_paper/2018_cicm/document/root.bib rename to examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/root.bib diff --git a/examples/scholarly_paper/ROOTS b/examples/scholarly_paper/ROOTS index 74567c68..2217cf3e 100644 --- a/examples/scholarly_paper/ROOTS +++ b/examples/scholarly_paper/ROOTS @@ -1 +1 @@ -2018_cicm +2018-cicm-isabelle_dof-applications