1.1 --- a/src/sml/ROOT.ML	Mon Mar 24 17:20:15 2008 +0100
     1.2 +++ b/src/sml/ROOT.ML	Mon Mar 24 17:34:31 2008 +0100
     1.3 @@ -94,28 +94,6 @@
     1.4  "**** run systests complete ******************************";
     1.5  (*TODO copy the whole filestructure from sml to smltest*)
     1.6  
     1.7 -(*----------WN040311 list_rls.sml doesnt work at other pos
     1.8 - cd "systest";
     1.9 - (*+ check kbtest/diffapp.sml for additional items in met-model*)
    1.10 - 	use"FE-interface.sml";     
    1.11 -        use"auto-inform.sml";
    1.12 - 	use"calculate.sml";
    1.13 -val me = meOLD;
    1.14 -        use"details.sml"; (*can notyet ackn. 'Rewrite_Set "cancel"' *)
    1.15 -val me = meNEW; (*see FIXXXXXME.040216*)
    1.16 - 	use"list_rls.sml"; WN040311.doesnt work at other pos
    1.17 -        use"ptree.sml";
    1.18 - 	use"refine.sml";	       
    1.19 - 	use"root-equ.sml";
    1.20 - 	use"script.sml";   
    1.21 -     (* use"script_if.sml";   missing: is_rootequation_in*)
    1.22 - 	use"scriptnew.sml";     
    1.23 - 	use"subp-rooteq.sml";   
    1.24 -      (*use"testdaten.sml"; no update after dropping 'errorBound'*)    
    1.25 - 	"******* systests complete *******";
    1.26 - 	cd "..";
    1.27 -----------------------------------------------------------------------*)
    1.28 -
    1.29  cd"smltest/Scripts";
    1.30   	use"calculate-float.sml";
    1.31   	use"calculate.sml";
    1.32 @@ -148,7 +126,7 @@
    1.33   	use"complex.sml";
    1.34   	use"diff.sml";
    1.35   	use"diffapp.sml";
    1.36 -	(*use"integrate.sml";TODO.new_c: cvs before 071227, 11:50*)
    1.37 +	use"integrate.sml";
    1.38  	use"equation.sml";
    1.39  	(*use"inssort.sml"; problems with recdef in Isabelle2002*)
    1.40   	use"logexp.sml";
    1.41 @@ -169,7 +147,7 @@
    1.42   	use"vect.sml";  
    1.43  	use"wn.sml";
    1.44  	use"eqsystem.sml";
    1.45 -	(*use"biegelinie.sml";TODO.new_c: cvs before 071227, 11:50*)
    1.46 +	use"biegelinie.sml";
    1.47  	use"algein.sml";
    1.48   	cd "../.."; 
    1.49  "**** run tests on IsacKnowledge complete ****************";