1.1 --- a/test/Tools/isac/Test_Isac.thy Sat Oct 24 12:31:22 2020 +0200
1.2 +++ b/test/Tools/isac/Test_Isac.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 ------------------------------\*)