1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Sat Oct 24 12:31:22 2020 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Mon Oct 26 13:52:26 2020 +0100
     1.3 @@ -77,10 +77,10 @@
     1.4    "~~/test/Pure/Isar/Keyword_ISAC.thy"           (* Malformed theory import, "keywords" ?!? *)
     1.5    "~~/test/Pure/Isar/Test_Parse_Isac.thy"        (* Malformed theory import, "keywords" ?!? *)
     1.6    "~~/test/Pure/Isar/Test_Parsers_Cookbook.thy"  (* Malformed theory import             ?!? *)
     1.7 -  "~~/test/Pure/Isar/Theory_Commands"            (*Duplicate outer syntax command "ISAC"    *)
     1.8 +  "~~/test/Pure/Isar/Theory_Commands"            (* Duplicate outer syntax command "ISAC"   *)
     1.9 +  "~~/test/Pure/Isar/Downto_Synchronized"        (* re-defines / breaks structures      !!! *)
    1.10    \--- .. these work independently, but create problems here *)
    1.11  (**)"~~/test/Pure/Isar/Check_Outer_Syntax"
    1.12 -(** )"~~/test/Pure/Isar/Downto_Synchorinzed"( *TODO: errors to resolve*)
    1.13  (**)"~~/test/Pure/Isar/Test_Parsers"
    1.14  (**)"~~/test/Pure/Isar/Test_Parse_Term"
    1.15  (*/---------------------- do Minisubpbl before ADDTESTS/All_Ctxt ------------------------------\*)