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

end of discussion with Achim
ci/woodpecker/push/build Pipeline was successful Details

This commit is contained in:
Burkhart Wolff 2022-06-30 12:58:49 +02:00
parent 1939ffeea4
commit c8a3c58f7f
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/tests/OutOfOrderPresntn.thy
View File

@ -502,12 +502,13 @@ Figure*[fff::figure,src="\<open>this is a side-by-side\<close>"]
\<close>
Figure*[ffff::figure,caption="\<open>this is another 2 side-by-side\<close>"]
Figure*[ffff::figure,(* caption *) src="\<open>this is another 2 side-by-side\<close>"]
\<open>@{figure_content [width=40, scale=35, caption="This is a left test"] "../ROOT"}\<close>
\<open>@{figure_content [width=40, scale=35, caption="This is a right test"] "../ROOT"}\<close>
(* proposed syntax for sub-figure labels :
text\<open> @{figure "ffff(2)"}\<close>
*)
end
(*>*)