1.1 --- a/test/Tools/isac/Test_Isac_Short.thy Wed Dec 21 18:48:23 2022 +0100
1.2 +++ b/test/Tools/isac/Test_Isac_Short.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*)