From 7ba220e417611a4497151ec1e76979504326e75d Mon Sep 17 00:00:00 2001
From: Burkhart Wolff <wolff@lri.fr>
Date: Tue, 9 May 2023 12:16:37 +0200
Subject: [PATCH] LaTeX sty Bug xrt figure2

---
 Isabelle_DOF-Example-I/IsaDofApplications.thy | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Isabelle_DOF-Example-I/IsaDofApplications.thy b/Isabelle_DOF-Example-I/IsaDofApplications.thy
index f63ecf7..a4e48eb 100644
--- a/Isabelle_DOF-Example-I/IsaDofApplications.thy
+++ b/Isabelle_DOF-Example-I/IsaDofApplications.thy
@@ -313,6 +313,7 @@ text\<open> The following ontology is a simple ontology modeling scientific pape
 Isabelle users to Isabelle users only. Of course, such references can be added easily and 
 represent a particular strength of \<^isadof>.\<close>
 
+(*
 text\<open>\begin{figure}
 @{boxed_theory_text [display]\<open>
 doc_class title =
@@ -334,7 +335,7 @@ doc_class text_section =
 \caption{The core of the ontology definition for writing scholarly papers.}
 \label{fig:paper-onto-core}
 \end{figure}\<close>
-  
+*) 
 text*["paper_onto_core"::figure2, 
       caption="''The core of the ontology definition for writing scholarly papers.''"]
 \<open>@{boxed_theory_text [display]\<open>