71 (**)"~~/test/Tools/isac/ADDTESTS/course/phst11/T3_MathEngine" |
71 (**)"~~/test/Tools/isac/ADDTESTS/course/phst11/T3_MathEngine" |
72 (**)"~~/test/Tools/isac/ADDTESTS/file-depend/BuildC_Test" |
72 (**)"~~/test/Tools/isac/ADDTESTS/file-depend/BuildC_Test" |
73 (**)"~~/test/Tools/isac/ADDTESTS/session-get_theory/Foo" |
73 (**)"~~/test/Tools/isac/ADDTESTS/session-get_theory/Foo" |
74 (*"ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform" |
74 (*"ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform" |
75 ADDTESTS/------------------------------------------- see end of tests *) |
75 ADDTESTS/------------------------------------------- see end of tests *) |
|
76 (*/--- these work independently, but create problems here .. |
|
77 "~~/test/Pure/Isar/Keyword_ISAC.thy" (* Malformed theory import, "keywords" ?!? *) |
|
78 "~~/test/Pure/Isar/Keywords_Diag.thy" (* Malformed theory import, "keywords" ?!? *) |
|
79 "~~/test/Pure/Isar/Test_Parse_Isac.thy" (* Malformed theory import, "keywords" ?!? *) |
|
80 "~~/test/Pure/Isar/Test_Parsers_Cookbook.thy" (* Malformed theory import ?!? *) |
|
81 \--- .. these work independently, but create problems here *) |
76 (**)"~~/test/Pure/Isar/Test_Parsers" |
82 (**)"~~/test/Pure/Isar/Test_Parsers" |
77 (**)"~~/test/Pure/Isar/Test_Parse_Term" |
83 (**)"~~/test/Pure/Isar/Test_Parse_Term" |
78 (*/---------------------- do Minisubpbl before ADDTESTS/All_Ctxt ------------------------------\*) |
84 (*/---------------------- do Minisubpbl before ADDTESTS/All_Ctxt ------------------------------\*) |
79 "~~/test/Tools/isac/Specify/refine" (* setup for refine.sml *) |
85 "~~/test/Tools/isac/Specify/refine" (* setup for refine.sml *) |
80 "~~/test/Tools/isac/ProgLang/calculate" (* setup for evaluate.sml *) |
86 "~~/test/Tools/isac/ProgLang/calculate" (* setup for evaluate.sml *) |