From 1f2551d68313496ffa1da910b2666db55948bd8f Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Tue, 27 Nov 2018 13:39:54 +0000 Subject: [PATCH] Restrucuring. --- examples/README.md | 13 ++++++++++--- .../2018_cicm/IsaDofApplications.thy | 2 +- examples/scholarly_paper/2018_cicm/ROOT | 2 +- .../IsaDofApplications.thy | 0 .../{TR_IsaDofApplications => IsaDof_Manual}/ROOT | 0 .../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 .../document/root.bib | 0 .../document/root.tex | 0 examples/technical_report/ROOTS | 2 +- 24 files changed, 13 insertions(+), 6 deletions(-) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/IsaDofApplications.thy (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/ROOT (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/build (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/figures/Dogfood-II-bgnd1.png (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/figures/Dogfood-III-bgnd-text_section.png (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/figures/Dogfood-IV-jumpInDocCLass.png (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/figures/Dogfood-Intro.png (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/figures/Dogfood-V-attribute.png (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/figures/Dogfood-figures.png (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/figures/InteractiveMathSheet.png (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/figures/antiquotations-PIDE.png (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/figures/isabelle-architecture.pdf (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/figures/isabelle-architecture.svg (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/figures/srac-as-es-application.png (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/figures/srac-definition.png (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/lstisadof.sty (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/ontologies.tex (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/preamble.tex (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/root.bib (100%) rename examples/technical_report/{TR_IsaDofApplications => IsaDof_Manual}/document/root.tex (100%) diff --git a/examples/README.md b/examples/README.md index 5b292cd..fa8ad45 100644 --- a/examples/README.md +++ b/examples/README.md @@ -1,5 +1,12 @@ # Examples -## [Acadmic Paper](./academic_paper/) -The example in the directory `academic_paper` is an example -of a typical conference paper in computer science. +## [Scholarly (Academic) Papers](./scholarly_paper/) + +The examples in the directory [`scholarly_paper`](./scholarly_paper/) +are examples of typical conference papers (usually, in computer science). + +## [Technical Reports](./technical_report/) + +The examples in the directory [`technical_report`](./technical_report/) +are examples of typical technical reports. This includes also the +[Isabelle/DOF User and Implementation Manual](./technical_report/IsaDof_Manual). diff --git a/examples/scholarly_paper/2018_cicm/IsaDofApplications.thy b/examples/scholarly_paper/2018_cicm/IsaDofApplications.thy index df09a46..ac89011 100644 --- a/examples/scholarly_paper/2018_cicm/IsaDofApplications.thy +++ b/examples/scholarly_paper/2018_cicm/IsaDofApplications.thy @@ -1,6 +1,6 @@ (*<*) theory IsaDofApplications - imports "../../ontologies/scholarly_paper" + imports "../../../ontologies/scholarly_paper" begin open_monitor*[this::article] diff --git a/examples/scholarly_paper/2018_cicm/ROOT b/examples/scholarly_paper/2018_cicm/ROOT index 8bc53cc..0bce4fa 100644 --- a/examples/scholarly_paper/2018_cicm/ROOT +++ b/examples/scholarly_paper/2018_cicm/ROOT @@ -1,7 +1,7 @@ session "IsaDofApplications" = "Functional-Automata" + options [document = pdf, document_output = "output", quick_and_dirty = true] theories [document = false] - "../../ontologies/scholarly_paper" + "../../../ontologies/scholarly_paper" theories IsaDofApplications document_files diff --git a/examples/technical_report/TR_IsaDofApplications/IsaDofApplications.thy b/examples/technical_report/IsaDof_Manual/IsaDofApplications.thy similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/IsaDofApplications.thy rename to examples/technical_report/IsaDof_Manual/IsaDofApplications.thy diff --git a/examples/technical_report/TR_IsaDofApplications/ROOT b/examples/technical_report/IsaDof_Manual/ROOT similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/ROOT rename to examples/technical_report/IsaDof_Manual/ROOT diff --git a/examples/technical_report/TR_IsaDofApplications/document/build b/examples/technical_report/IsaDof_Manual/document/build similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/build rename to examples/technical_report/IsaDof_Manual/document/build diff --git a/examples/technical_report/TR_IsaDofApplications/document/figures/Dogfood-II-bgnd1.png b/examples/technical_report/IsaDof_Manual/document/figures/Dogfood-II-bgnd1.png similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/figures/Dogfood-II-bgnd1.png rename to examples/technical_report/IsaDof_Manual/document/figures/Dogfood-II-bgnd1.png diff --git a/examples/technical_report/TR_IsaDofApplications/document/figures/Dogfood-III-bgnd-text_section.png b/examples/technical_report/IsaDof_Manual/document/figures/Dogfood-III-bgnd-text_section.png similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/figures/Dogfood-III-bgnd-text_section.png rename to examples/technical_report/IsaDof_Manual/document/figures/Dogfood-III-bgnd-text_section.png diff --git a/examples/technical_report/TR_IsaDofApplications/document/figures/Dogfood-IV-jumpInDocCLass.png b/examples/technical_report/IsaDof_Manual/document/figures/Dogfood-IV-jumpInDocCLass.png similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/figures/Dogfood-IV-jumpInDocCLass.png rename to examples/technical_report/IsaDof_Manual/document/figures/Dogfood-IV-jumpInDocCLass.png diff --git a/examples/technical_report/TR_IsaDofApplications/document/figures/Dogfood-Intro.png b/examples/technical_report/IsaDof_Manual/document/figures/Dogfood-Intro.png similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/figures/Dogfood-Intro.png rename to examples/technical_report/IsaDof_Manual/document/figures/Dogfood-Intro.png diff --git a/examples/technical_report/TR_IsaDofApplications/document/figures/Dogfood-V-attribute.png b/examples/technical_report/IsaDof_Manual/document/figures/Dogfood-V-attribute.png similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/figures/Dogfood-V-attribute.png rename to examples/technical_report/IsaDof_Manual/document/figures/Dogfood-V-attribute.png diff --git a/examples/technical_report/TR_IsaDofApplications/document/figures/Dogfood-figures.png b/examples/technical_report/IsaDof_Manual/document/figures/Dogfood-figures.png similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/figures/Dogfood-figures.png rename to examples/technical_report/IsaDof_Manual/document/figures/Dogfood-figures.png diff --git a/examples/technical_report/TR_IsaDofApplications/document/figures/InteractiveMathSheet.png b/examples/technical_report/IsaDof_Manual/document/figures/InteractiveMathSheet.png similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/figures/InteractiveMathSheet.png rename to examples/technical_report/IsaDof_Manual/document/figures/InteractiveMathSheet.png diff --git a/examples/technical_report/TR_IsaDofApplications/document/figures/antiquotations-PIDE.png b/examples/technical_report/IsaDof_Manual/document/figures/antiquotations-PIDE.png similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/figures/antiquotations-PIDE.png rename to examples/technical_report/IsaDof_Manual/document/figures/antiquotations-PIDE.png diff --git a/examples/technical_report/TR_IsaDofApplications/document/figures/isabelle-architecture.pdf b/examples/technical_report/IsaDof_Manual/document/figures/isabelle-architecture.pdf similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/figures/isabelle-architecture.pdf rename to examples/technical_report/IsaDof_Manual/document/figures/isabelle-architecture.pdf diff --git a/examples/technical_report/TR_IsaDofApplications/document/figures/isabelle-architecture.svg b/examples/technical_report/IsaDof_Manual/document/figures/isabelle-architecture.svg similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/figures/isabelle-architecture.svg rename to examples/technical_report/IsaDof_Manual/document/figures/isabelle-architecture.svg diff --git a/examples/technical_report/TR_IsaDofApplications/document/figures/srac-as-es-application.png b/examples/technical_report/IsaDof_Manual/document/figures/srac-as-es-application.png similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/figures/srac-as-es-application.png rename to examples/technical_report/IsaDof_Manual/document/figures/srac-as-es-application.png diff --git a/examples/technical_report/TR_IsaDofApplications/document/figures/srac-definition.png b/examples/technical_report/IsaDof_Manual/document/figures/srac-definition.png similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/figures/srac-definition.png rename to examples/technical_report/IsaDof_Manual/document/figures/srac-definition.png diff --git a/examples/technical_report/TR_IsaDofApplications/document/lstisadof.sty b/examples/technical_report/IsaDof_Manual/document/lstisadof.sty similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/lstisadof.sty rename to examples/technical_report/IsaDof_Manual/document/lstisadof.sty diff --git a/examples/technical_report/TR_IsaDofApplications/document/ontologies.tex b/examples/technical_report/IsaDof_Manual/document/ontologies.tex similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/ontologies.tex rename to examples/technical_report/IsaDof_Manual/document/ontologies.tex diff --git a/examples/technical_report/TR_IsaDofApplications/document/preamble.tex b/examples/technical_report/IsaDof_Manual/document/preamble.tex similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/preamble.tex rename to examples/technical_report/IsaDof_Manual/document/preamble.tex diff --git a/examples/technical_report/TR_IsaDofApplications/document/root.bib b/examples/technical_report/IsaDof_Manual/document/root.bib similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/root.bib rename to examples/technical_report/IsaDof_Manual/document/root.bib diff --git a/examples/technical_report/TR_IsaDofApplications/document/root.tex b/examples/technical_report/IsaDof_Manual/document/root.tex similarity index 100% rename from examples/technical_report/TR_IsaDofApplications/document/root.tex rename to examples/technical_report/IsaDof_Manual/document/root.tex diff --git a/examples/technical_report/ROOTS b/examples/technical_report/ROOTS index 5be5757..55d7c55 100644 --- a/examples/technical_report/ROOTS +++ b/examples/technical_report/ROOTS @@ -1,2 +1,2 @@ +IsaDof_Manual TR_my_commented_isabelle -TR_IsaDofApplications