1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Wed Aug 18 16:46:22 2021 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Wed Aug 18 20:34:41 2021 +0200
     1.3 @@ -51,6 +51,7 @@
     1.4       Also backup files (#* ) recognised by jEdit cause this trouble                    *)
     1.5  (*/---------------------- do Minisubpbl before ADDTESTS/All_Ctxt ------------------------------\*)
     1.6  (** )"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/accumulate-val/Thy_All"( *TODOO*)
     1.7 +(**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/accumulate-val/Lucas_Interpreter"
     1.8  (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/Ctxt"
     1.9  (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/test-depend/Build_Test"
    1.10  (**)"$ISABELLE_ISAC_TEST/Tools/isac/ADDTESTS/All_Ctxt"