diff --git a/src/tests/OutOfOrderPresntn.thy b/src/tests/OutOfOrderPresntn.thy index 20399b9..fd8207e 100644 --- a/src/tests/OutOfOrderPresntn.thy +++ b/src/tests/OutOfOrderPresntn.thy @@ -502,12 +502,13 @@ Figure*[fff::figure,src="\this is a side-by-side\"] \ -Figure*[ffff::figure,caption="\this is another 2 side-by-side\"] +Figure*[ffff::figure,(* caption *) src="\this is another 2 side-by-side\"] \@{figure_content [width=40, scale=35, caption="This is a left test"] "../ROOT"}\ \@{figure_content [width=40, scale=35, caption="This is a right test"] "../ROOT"}\ - +(* proposed syntax for sub-figure labels : text\ @{figure "ffff(2)"}\ + *) end (*>*)