equal
deleted
inserted
replaced
22 "ADDTESTS/All_Ctxt" |
22 "ADDTESTS/All_Ctxt" |
23 "ADDTESTS/course/phst11/T1_Basics" |
23 "ADDTESTS/course/phst11/T1_Basics" |
24 "ADDTESTS/course/phst11/T2_Rewriting" |
24 "ADDTESTS/course/phst11/T2_Rewriting" |
25 "ADDTESTS/course/phst11/T3_MathEngine" |
25 "ADDTESTS/course/phst11/T3_MathEngine" |
26 "ADDTESTS/file-depend/BuildC_Test" |
26 "ADDTESTS/file-depend/BuildC_Test" |
|
27 "ADDTESTS/session-get_theory/Foo" |
27 (*"ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform"*) |
28 (*"ADDTESTS/course/SignalProcess/Build_Inverse_Z_Transform"*) |
28 "~~/test/Pure/Isar/Test_Parsers" |
29 "~~/test/Pure/Isar/Test_Parsers" |
29 (*"~~/test/Pure/Isar/Pure/Isar/Struct_Deriv" lost at update 2009-2-->2011*) |
30 (*"~~/test/Pure/Isar/Pure/Isar/Struct_Deriv" lost at update 2009-2-->2011*) |
30 "~~/test/Pure/Isar/Test_Parse_Term" |
31 "~~/test/Pure/Isar/Test_Parse_Term" |
31 "~~/test/HOL/Library/Test_Polynomial" |
32 "~~/test/HOL/Library/Test_Polynomial" |