Fixed naming inconsistency.

2019-07-23 07:41:27 +01:00 · 2019-07-23 07:41:27 +01:00 · 36f7ebc4bf
parent c5413107af
commit 36f7ebc4bf
20 changed files with 2 additions and 2 deletions
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/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
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/build
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/build
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-II-bgnd1.png
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-II-bgnd1.png
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/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
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-IV-jumpInDocCLass.png
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-IV-jumpInDocCLass.png
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-Intro.png
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-Intro.png
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-V-attribute.png
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-V-attribute.png
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-figures.png
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/Dogfood-figures.png
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/InteractiveMathSheet.png
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/InteractiveMathSheet.png
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/antiquotations-PIDE.png
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/antiquotations-PIDE.png
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.pdf
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.pdf
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.svg
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.svg
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-as-es-application.png
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-as-es-application.png
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-definition.png
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/srac-definition.png
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/isadof.cfg
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/isadof.cfg
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/lstisadof.sty
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/lstisadof.sty
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex
--- a/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/root.bib
+++ b/examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/root.bib
--- a/examples/scholarly_paper/ROOTS
+++ b/examples/scholarly_paper/ROOTS
@ -1 +1 @@
-2018_cicm
+2018-cicm-isabelle_dof-applications