From acb82477b56782dc14c8e91e841c25e00253d77f Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 25 Feb 2023 11:01:39 +0000
Subject: [PATCH] Moved currently unsupported document templates to the
 Isabelle_DOF-Ontologies session.

---
 Isabelle_DOF-Ontologies/ROOT                  |  1 +
 .../document-templates.thy                    | 24 +++++++++++++++++++
 .../root-eptcs-UNSUPPORTED.tex                |  0
 .../root-lipics-v2021-UNSUPPORTED.tex         |  0
 .../root-svjour3-UNSUPPORTED.tex              |  0
 Isabelle_DOF/thys/Isa_DOF.thy                 |  3 ---
 6 files changed, 25 insertions(+), 3 deletions(-)
 create mode 100644 Isabelle_DOF-Ontologies/document-templates.thy
 rename {Isabelle_DOF/latex => Isabelle_DOF-Ontologies}/document-templates/root-eptcs-UNSUPPORTED.tex (100%)
 rename {Isabelle_DOF/latex => Isabelle_DOF-Ontologies}/document-templates/root-lipics-v2021-UNSUPPORTED.tex (100%)
 rename {Isabelle_DOF/latex => Isabelle_DOF-Ontologies}/document-templates/root-svjour3-UNSUPPORTED.tex (100%)

diff --git a/Isabelle_DOF-Ontologies/ROOT b/Isabelle_DOF-Ontologies/ROOT
index 0f5b286..d55afb2 100644
--- a/Isabelle_DOF-Ontologies/ROOT
+++ b/Isabelle_DOF-Ontologies/ROOT
@@ -7,6 +7,7 @@ session "Isabelle_DOF-Ontologies" = "Isabelle_DOF" +
     "CENELEC_50128"
   theories
     "document_setup"
+    "document-templates"
     "CC_v3_1_R5/CC_v3_1_R5"
     "CC_v3_1_R5/CC_terminology"  
     "Conceptual/Conceptual"
diff --git a/Isabelle_DOF-Ontologies/document-templates.thy b/Isabelle_DOF-Ontologies/document-templates.thy
new file mode 100644
index 0000000..1d3da39
--- /dev/null
+++ b/Isabelle_DOF-Ontologies/document-templates.thy
@@ -0,0 +1,24 @@
+(*************************************************************************
+ * Copyright (C) 
+ *               2019      The University of Exeter 
+ *               2018-2019 The University of Paris-Saclay
+ *               2018      The University of Sheffield
+ *
+ * License:
+ *   This program can be redistributed and/or modified under the terms
+ *   of the 2-clause BSD-style license.
+ *
+ *   SPDX-License-Identifier: BSD-2-Clause
+ *************************************************************************)
+
+theory 
+  "document-templates"
+imports
+  "Isabelle_DOF.Isa_DOF"
+begin
+
+define_template "./document-templates/root-eptcs-UNSUPPORTED.tex"
+define_template "./document-templates/root-lipics-v2021-UNSUPPORTED.tex"
+define_template "./document-templates/root-svjour3-UNSUPPORTED.tex"
+
+end
diff --git a/Isabelle_DOF/latex/document-templates/root-eptcs-UNSUPPORTED.tex b/Isabelle_DOF-Ontologies/document-templates/root-eptcs-UNSUPPORTED.tex
similarity index 100%
rename from Isabelle_DOF/latex/document-templates/root-eptcs-UNSUPPORTED.tex
rename to Isabelle_DOF-Ontologies/document-templates/root-eptcs-UNSUPPORTED.tex
diff --git a/Isabelle_DOF/latex/document-templates/root-lipics-v2021-UNSUPPORTED.tex b/Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex
similarity index 100%
rename from Isabelle_DOF/latex/document-templates/root-lipics-v2021-UNSUPPORTED.tex
rename to Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex
diff --git a/Isabelle_DOF/latex/document-templates/root-svjour3-UNSUPPORTED.tex b/Isabelle_DOF-Ontologies/document-templates/root-svjour3-UNSUPPORTED.tex
similarity index 100%
rename from Isabelle_DOF/latex/document-templates/root-svjour3-UNSUPPORTED.tex
rename to Isabelle_DOF-Ontologies/document-templates/root-svjour3-UNSUPPORTED.tex
diff --git a/Isabelle_DOF/thys/Isa_DOF.thy b/Isabelle_DOF/thys/Isa_DOF.thy
index 13f570a..76434b0 100644
--- a/Isabelle_DOF/thys/Isa_DOF.thy
+++ b/Isabelle_DOF/thys/Isa_DOF.thy
@@ -3158,13 +3158,10 @@ val _ =
 end;
 \<close>
 
-define_template "../latex/document-templates/root-eptcs-UNSUPPORTED.tex"
-define_template "../latex/document-templates/root-lipics-v2021-UNSUPPORTED.tex"
 define_template "../latex/document-templates/root-lncs.tex"
 define_template "../latex/document-templates/root-scrartcl.tex"
 define_template "../latex/document-templates/root-scrreprt-modern.tex"
 define_template "../latex/document-templates/root-scrreprt.tex"
-define_template "../latex/document-templates/root-svjour3-UNSUPPORTED.tex"
 
 
 section \<open>Isabelle/Scala module within session context\<close>