1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Wed Aug 04 10:15:55 2021 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Wed Aug 04 17:34:47 2021 +0200
     1.3 @@ -294,23 +294,23 @@
     1.4    ML_file "Knowledge/rootrateq.sml"(*ome complicated equations not recovered from 2002 *)
     1.5  (*ML_file "Knowledge/partial_fractions.sml"  hangs with ML_system_64 = "true"---Test_Isac_Short*)
     1.6  (*ML_file "Knowledge/polyeq-1.sml"                          TOODOO.1 error inherited from root.sml*)
     1.7 -(*ML_file "Knowledge/polyeq-2.sml"                                              Test_Isac_Short*)
     1.8 +(*ML_file "Knowledge/polyeq-2.sml"                          TOODOO.1            Test_Isac_Short*)
     1.9  (*ML_file "Knowledge/rlang.sml"     much to clean up, similar tests in other files     *)
    1.10    ML_file "Knowledge/calculus.sml"
    1.11    ML_file "Knowledge/trig.sml"
    1.12  (*ML_file "Knowledge/logexp.sml"    not included as stuff for presentation of authoring*) 
    1.13 -(*ML_file "Knowledge/diff.sml" TOODOO loops with repair ord_make_polynomial_in*)
    1.14 -(*ML_file "Knowledge/integrate.sml" TOODOO broken with repair ord_make_polynomial_in*)
    1.15 +  ML_file "Knowledge/diff.sml"
    1.16 +  ML_file "Knowledge/integrate.sml"
    1.17    ML_file "Knowledge/eqsystem-1.sml"
    1.18    ML_file "Knowledge/eqsystem-2.sml"
    1.19    ML_file "Knowledge/test.sml"
    1.20    ML_file "Knowledge/polyminus.sml"
    1.21    ML_file "Knowledge/vect.sml"
    1.22    ML_file "Knowledge/diffapp.sml"        (* postponed to dev. specification | TP-prog. *)
    1.23 -(*ML_file "Knowledge/biegelinie-1.sml"                   (**) requires integrate.sml, eqsystem.sml*)
    1.24 +(*ML_file "Knowledge/biegelinie-1.sml"          (**) TOODOO.1 requires integrate.sml, eqsystem.sml*)
    1.25  (*ML_file "Knowledge/biegelinie-2.sml"                                          Test_Isac_Short*)
    1.26  (*ML_file "Knowledge/biegelinie-3.sml"                                          Test_Isac_Short*)
    1.27 -(*ML_file "Knowledge/biegelinie-4.sml"                   (**) requires integrate.sml, eqsystem.sml*)
    1.28 +(*ML_file "Knowledge/biegelinie-4.sml"          (**) TOODOO.1 requires integrate.sml, eqsystem.sml*)
    1.29    ML_file "Knowledge/algein.sml"
    1.30    ML_file "Knowledge/diophanteq.sml"
    1.31  (*ML_file "Knowledge/inverse_z_transform.sml"hangs with ML_system_64 = "true"---Test_Isac_Short*)