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

a version with @{fig_content in the test
ci/woodpecker/push/build Pipeline was successful Details

This commit is contained in:
Burkhart Wolff 2023-05-09 23:12:50 +02:00
parent 9e210b487a
commit ca8671ee1c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Isabelle_DOF-Unit-Tests/COL_Test.thy
View File

@ -70,7 +70,7 @@ text*[inlinefig::figure2,
(*<*)
text*[inlinegraph::figure2,
caption="\<open>Another \<^term>\<open>\<sigma>\<^sub>i+2\<close> Caption.\<close>"]
caption="\<open>Another \<sigma>\<^sub>i+2 Caption.\<close>"]
\<open>@{fig_content [display] (scale = 80, width=80, caption=\<open>This is \<^term>\<open>\<sigma>\<^sub>i+2\<close> \<dots>\<close>)
\<open>document/figures/A.png\<close>}\<close>
(*>*)