Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

LaTeX sty Bug xrt figure2

This commit is contained in:
Burkhart Wolff 2023-05-09 12:16:37 +02:00
parent 713a24615f
commit 7ba220e417
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Isabelle_DOF-Example-I/IsaDofApplications.thy
View File

@ -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>