From 0bc6f5521e38b3252203c47918cff291190d7d6a Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Tue, 27 Nov 2018 09:26:54 +0000 Subject: [PATCH] Restrucuring. --- .../IsaDofApplications.thy | 0 .../Monitor_Example.thy | 0 examples/{scholarly => academic_paper}/ROOT | 0 .../{scholarly => academic_paper}/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/lstisadof.sty | 0 .../document/ontologies.tex | 0 .../document/preamble.tex | 0 .../{scholarly => academic_paper}/document/root.bib | 0 .../{scholarly => academic_paper}/document/root.tex | 0 21 files changed, 0 insertions(+), 0 deletions(-) rename examples/{scholarly => academic_paper}/IsaDofApplications.thy (100%) rename examples/{scholarly => academic_paper}/Monitor_Example.thy (100%) rename examples/{scholarly => academic_paper}/ROOT (100%) rename examples/{scholarly => academic_paper}/document/build (100%) rename examples/{scholarly => academic_paper}/document/figures/Dogfood-II-bgnd1.png (100%) rename examples/{scholarly => academic_paper}/document/figures/Dogfood-III-bgnd-text_section.png (100%) rename examples/{scholarly => academic_paper}/document/figures/Dogfood-IV-jumpInDocCLass.png (100%) rename examples/{scholarly => academic_paper}/document/figures/Dogfood-Intro.png (100%) rename examples/{scholarly => academic_paper}/document/figures/Dogfood-V-attribute.png (100%) rename examples/{scholarly => academic_paper}/document/figures/Dogfood-figures.png (100%) rename examples/{scholarly => academic_paper}/document/figures/InteractiveMathSheet.png (100%) rename examples/{scholarly => academic_paper}/document/figures/antiquotations-PIDE.png (100%) rename examples/{scholarly => academic_paper}/document/figures/isabelle-architecture.pdf (100%) rename examples/{scholarly => academic_paper}/document/figures/isabelle-architecture.svg (100%) rename examples/{scholarly => academic_paper}/document/figures/srac-as-es-application.png (100%) rename examples/{scholarly => academic_paper}/document/figures/srac-definition.png (100%) rename examples/{scholarly => academic_paper}/document/lstisadof.sty (100%) rename examples/{scholarly => academic_paper}/document/ontologies.tex (100%) rename examples/{scholarly => academic_paper}/document/preamble.tex (100%) rename examples/{scholarly => academic_paper}/document/root.bib (100%) rename examples/{scholarly => academic_paper}/document/root.tex (100%) diff --git a/examples/scholarly/IsaDofApplications.thy b/examples/academic_paper/IsaDofApplications.thy similarity index 100% rename from examples/scholarly/IsaDofApplications.thy rename to examples/academic_paper/IsaDofApplications.thy diff --git a/examples/scholarly/Monitor_Example.thy b/examples/academic_paper/Monitor_Example.thy similarity index 100% rename from examples/scholarly/Monitor_Example.thy rename to examples/academic_paper/Monitor_Example.thy diff --git a/examples/scholarly/ROOT b/examples/academic_paper/ROOT similarity index 100% rename from examples/scholarly/ROOT rename to examples/academic_paper/ROOT diff --git a/examples/scholarly/document/build b/examples/academic_paper/document/build similarity index 100% rename from examples/scholarly/document/build rename to examples/academic_paper/document/build diff --git a/examples/scholarly/document/figures/Dogfood-II-bgnd1.png b/examples/academic_paper/document/figures/Dogfood-II-bgnd1.png similarity index 100% rename from examples/scholarly/document/figures/Dogfood-II-bgnd1.png rename to examples/academic_paper/document/figures/Dogfood-II-bgnd1.png diff --git a/examples/scholarly/document/figures/Dogfood-III-bgnd-text_section.png b/examples/academic_paper/document/figures/Dogfood-III-bgnd-text_section.png similarity index 100% rename from examples/scholarly/document/figures/Dogfood-III-bgnd-text_section.png rename to examples/academic_paper/document/figures/Dogfood-III-bgnd-text_section.png diff --git a/examples/scholarly/document/figures/Dogfood-IV-jumpInDocCLass.png b/examples/academic_paper/document/figures/Dogfood-IV-jumpInDocCLass.png similarity index 100% rename from examples/scholarly/document/figures/Dogfood-IV-jumpInDocCLass.png rename to examples/academic_paper/document/figures/Dogfood-IV-jumpInDocCLass.png diff --git a/examples/scholarly/document/figures/Dogfood-Intro.png b/examples/academic_paper/document/figures/Dogfood-Intro.png similarity index 100% rename from examples/scholarly/document/figures/Dogfood-Intro.png rename to examples/academic_paper/document/figures/Dogfood-Intro.png diff --git a/examples/scholarly/document/figures/Dogfood-V-attribute.png b/examples/academic_paper/document/figures/Dogfood-V-attribute.png similarity index 100% rename from examples/scholarly/document/figures/Dogfood-V-attribute.png rename to examples/academic_paper/document/figures/Dogfood-V-attribute.png diff --git a/examples/scholarly/document/figures/Dogfood-figures.png b/examples/academic_paper/document/figures/Dogfood-figures.png similarity index 100% rename from examples/scholarly/document/figures/Dogfood-figures.png rename to examples/academic_paper/document/figures/Dogfood-figures.png diff --git a/examples/scholarly/document/figures/InteractiveMathSheet.png b/examples/academic_paper/document/figures/InteractiveMathSheet.png similarity index 100% rename from examples/scholarly/document/figures/InteractiveMathSheet.png rename to examples/academic_paper/document/figures/InteractiveMathSheet.png diff --git a/examples/scholarly/document/figures/antiquotations-PIDE.png b/examples/academic_paper/document/figures/antiquotations-PIDE.png similarity index 100% rename from examples/scholarly/document/figures/antiquotations-PIDE.png rename to examples/academic_paper/document/figures/antiquotations-PIDE.png diff --git a/examples/scholarly/document/figures/isabelle-architecture.pdf b/examples/academic_paper/document/figures/isabelle-architecture.pdf similarity index 100% rename from examples/scholarly/document/figures/isabelle-architecture.pdf rename to examples/academic_paper/document/figures/isabelle-architecture.pdf diff --git a/examples/scholarly/document/figures/isabelle-architecture.svg b/examples/academic_paper/document/figures/isabelle-architecture.svg similarity index 100% rename from examples/scholarly/document/figures/isabelle-architecture.svg rename to examples/academic_paper/document/figures/isabelle-architecture.svg diff --git a/examples/scholarly/document/figures/srac-as-es-application.png b/examples/academic_paper/document/figures/srac-as-es-application.png similarity index 100% rename from examples/scholarly/document/figures/srac-as-es-application.png rename to examples/academic_paper/document/figures/srac-as-es-application.png diff --git a/examples/scholarly/document/figures/srac-definition.png b/examples/academic_paper/document/figures/srac-definition.png similarity index 100% rename from examples/scholarly/document/figures/srac-definition.png rename to examples/academic_paper/document/figures/srac-definition.png diff --git a/examples/scholarly/document/lstisadof.sty b/examples/academic_paper/document/lstisadof.sty similarity index 100% rename from examples/scholarly/document/lstisadof.sty rename to examples/academic_paper/document/lstisadof.sty diff --git a/examples/scholarly/document/ontologies.tex b/examples/academic_paper/document/ontologies.tex similarity index 100% rename from examples/scholarly/document/ontologies.tex rename to examples/academic_paper/document/ontologies.tex diff --git a/examples/scholarly/document/preamble.tex b/examples/academic_paper/document/preamble.tex similarity index 100% rename from examples/scholarly/document/preamble.tex rename to examples/academic_paper/document/preamble.tex diff --git a/examples/scholarly/document/root.bib b/examples/academic_paper/document/root.bib similarity index 100% rename from examples/scholarly/document/root.bib rename to examples/academic_paper/document/root.bib diff --git a/examples/scholarly/document/root.tex b/examples/academic_paper/document/root.tex similarity index 100% rename from examples/scholarly/document/root.tex rename to examples/academic_paper/document/root.tex