1.1 --- a/test/Tools/isac/Test_Isac.thy Mon Dec 21 13:35:41 2015 +0100
1.2 +++ b/test/Tools/isac/Test_Isac.thy Mon Dec 21 13:58:02 2015 +0100
1.3 @@ -29,7 +29,7 @@
1.4 "ADDTESTS/session-get_theory/Foo"
1.5 (*"ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform"
1.6 ADDTESTS/------------------------------------------- see end of tests *)
1.7 - "~~/test/Pure/Isar/Test_Parsers"
1.8 +(*"~~/test/Pure/Isar/Test_Parsers" dropped Isabelle2014-->2015 *)
1.9 (*"~~/test/Pure/Isar/Pure/Isar/Struct_Deriv" lost at update 2009-2-->2011*)
1.10 "~~/test/Pure/Isar/Test_Parse_Term"
1.11 "~~/test/HOL/Library/Test_Polynomial"