From c8a3c58f7fff89cf8ed4f7c2e21d9a3784ab215f Mon Sep 17 00:00:00 2001
From: Burkhart Wolff <wolffburkhart@gmail.com>
Date: Thu, 30 Jun 2022 12:58:49 +0200
Subject: [PATCH] end of discussion with Achim

---
 src/tests/OutOfOrderPresntn.thy | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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="\<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
 (*>*)