
diff -r f54e20d9e6ee -r 20c3d272d79c test/Tools/isac/Test_Isac.thy
--- a/test/Tools/isac/Test_Isac.thy	Wed Dec 21 18:48:23 2022 +0100
+++ b/test/Tools/isac/Test_Isac.thy	Thu Dec 22 10:27:12 2022 +0100
@@ -145,7 +145,7 @@
 "~~~~~ continue fun xxx"; val () = ();
 (*if*) (*then*); (*else*);   (*case*) (*of*);  (*return value*); (*in*) (*end*);
 "xx"
-^ "xxx"   (*+*) (*+++*) (*keep for continuing XXXXX*) (*isa*) (*isa2*) (**)
+^ "xxx"   (*+*) (*+++*) (*keep for continuing YYYYY*) (*isa*) (*isa2*) (**)
 \<close> ML \<open> (*//----------- adhoc inserted n ----------------------------------------------------\\*)
  (*//----------------- adhoc inserted n ----------------------------------------------------\\*)
 (*\\------------------ adhoc inserted n ----------------------------------------------------//*)
@@ -153,7 +153,7 @@
 
 \<close> ML \<open> (*//----------- step into XXXXX -----------------------------------------------------\\*)
 (*//------------------ step into XXXXX -----------------------------------------------------\\*)
-(*keep for continuing XXXXX*)
+(*keep for continuing YYYYY*)
 \<close> ML \<open> (*------------- continuing XXXXX ------------------------------------------------------*)
 (*-------------------- continuing XXXXX ------------------------------------------------------*)
 (*kept for continuing XXXXX*)




