1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed Dec 21 18:48:23 2022 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Thu Dec 22 10:27:12 2022 +0100
     1.3 @@ -145,7 +145,7 @@
     1.4  "~~~~~ continue fun xxx"; val () = ();
     1.5  (*if*) (*then*); (*else*);   (*case*) (*of*);  (*return value*); (*in*) (*end*);
     1.6  "xx"
     1.7 -^ "xxx"   (*+*) (*+++*) (*keep for continuing XXXXX*) (*isa*) (*isa2*) (**)
     1.8 +^ "xxx"   (*+*) (*+++*) (*keep for continuing YYYYY*) (*isa*) (*isa2*) (**)
     1.9  \<close> ML \<open> (*//----------- adhoc inserted n ----------------------------------------------------\\*)
    1.10   (*//----------------- adhoc inserted n ----------------------------------------------------\\*)
    1.11  (*\\------------------ adhoc inserted n ----------------------------------------------------//*)
    1.12 @@ -153,7 +153,7 @@
    1.13  
    1.14  \<close> ML \<open> (*//----------- step into XXXXX -----------------------------------------------------\\*)
    1.15  (*//------------------ step into XXXXX -----------------------------------------------------\\*)
    1.16 -(*keep for continuing XXXXX*)
    1.17 +(*keep for continuing YYYYY*)
    1.18  \<close> ML \<open> (*------------- continuing XXXXX ------------------------------------------------------*)
    1.19  (*-------------------- continuing XXXXX ------------------------------------------------------*)
    1.20  (*kept for continuing XXXXX*)