Restrucuring.

2018-11-27 13:11:54 +00:00 · 2018-11-27 13:11:54 +00:00 · 9d5bddea7c
parent b7e39f7d27
commit 9d5bddea7c
21 changed files with 1 additions and 1 deletions
--- a/examples/ROOTS
+++ b/examples/ROOTS
@ -1,4 +1,4 @@
-academic_paper/
+scholarly_paper/2018_cicm
 technical_report/TR_my_commented_isabelle
 technical_report/TR_IsaDofApplications
 math_exam/MathExam
--- a/examples/scholarly_paper/2018_cicm/IsaDofApplications.thy
+++ b/examples/scholarly_paper/2018_cicm/IsaDofApplications.thy
--- a/examples/scholarly_paper/2018_cicm/ROOT
+++ b/examples/scholarly_paper/2018_cicm/ROOT
--- a/examples/scholarly_paper/2018_cicm/document/build
+++ b/examples/scholarly_paper/2018_cicm/document/build
--- a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-II-bgnd1.png
+++ b/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-II-bgnd1.png
--- a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-III-bgnd-text_section.png
+++ b/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-III-bgnd-text_section.png
--- a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-IV-jumpInDocCLass.png
+++ b/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-IV-jumpInDocCLass.png
--- a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-Intro.png
+++ b/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-Intro.png
--- a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-V-attribute.png
+++ b/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-V-attribute.png
--- a/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-figures.png
+++ b/examples/scholarly_paper/2018_cicm/document/figures/Dogfood-figures.png
--- a/examples/scholarly_paper/2018_cicm/document/figures/InteractiveMathSheet.png
+++ b/examples/scholarly_paper/2018_cicm/document/figures/InteractiveMathSheet.png
--- a/examples/scholarly_paper/2018_cicm/document/figures/antiquotations-PIDE.png
+++ b/examples/scholarly_paper/2018_cicm/document/figures/antiquotations-PIDE.png
--- a/examples/scholarly_paper/2018_cicm/document/figures/isabelle-architecture.pdf
+++ b/examples/scholarly_paper/2018_cicm/document/figures/isabelle-architecture.pdf
--- a/examples/scholarly_paper/2018_cicm/document/figures/isabelle-architecture.svg
+++ b/examples/scholarly_paper/2018_cicm/document/figures/isabelle-architecture.svg
--- a/examples/scholarly_paper/2018_cicm/document/figures/srac-as-es-application.png
+++ b/examples/scholarly_paper/2018_cicm/document/figures/srac-as-es-application.png
--- a/examples/scholarly_paper/2018_cicm/document/figures/srac-definition.png
+++ b/examples/scholarly_paper/2018_cicm/document/figures/srac-definition.png
--- a/examples/scholarly_paper/2018_cicm/document/lstisadof.sty
+++ b/examples/scholarly_paper/2018_cicm/document/lstisadof.sty
--- a/examples/scholarly_paper/2018_cicm/document/ontologies.tex
+++ b/examples/scholarly_paper/2018_cicm/document/ontologies.tex
--- a/examples/scholarly_paper/2018_cicm/document/preamble.tex
+++ b/examples/scholarly_paper/2018_cicm/document/preamble.tex
--- a/examples/scholarly_paper/2018_cicm/document/root.bib
+++ b/examples/scholarly_paper/2018_cicm/document/root.bib
--- a/examples/scholarly_paper/2018_cicm/document/root.tex
+++ b/examples/scholarly_paper/2018_cicm/document/root.tex