1.1 --- a/test/Tools/isac/Test_Isac.thy	Thu Sep 29 18:02:10 2022 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Fri Oct 07 20:46:48 2022 +0200
     1.3 @@ -183,7 +183,7 @@
     1.4    ML_file "BaseDefinitions/calcelems.sml"
     1.5    ML_file "BaseDefinitions/termC.sml"
     1.6    ML_file "BaseDefinitions/substitution.sml"
     1.7 -  ML_file "BaseDefinitions/contextC.sml" (*!!!!! sometimes evaluates if separated into ML blocks*)
     1.8 +  ML_file "BaseDefinitions/contextC.sml"(*sometimes needs separation into ML blocks for evaluation*)
     1.9    ML_file "BaseDefinitions/environment.sml"
    1.10  (** )ML_file "BaseDefinitions/kestore.sml"( *setup in ADDTEST/accumulate-val/lucas_interpreter.sml*)
    1.11  (*---------------------- do Minisubpbl before ADDTESTS/All_Ctxt --------------------------------
    1.12 @@ -227,7 +227,7 @@
    1.13    ML_file "MathEngBasic/thmC.sml"
    1.14    ML_file "MathEngBasic/rewrite.sml"
    1.15    ML_file "MathEngBasic/tactic.sml"
    1.16 -  ML_file "MathEngBasic/ctree.sml" (*if red, get the file into a text buffer -- this might clear*)
    1.17 +  ML_file "MathEngBasic/ctree.sml"
    1.18    ML_file "MathEngBasic/calculation.sml"
    1.19  
    1.20    ML_file "Specify/formalise.sml"
    1.21 @@ -256,7 +256,7 @@
    1.22    ML_file "MathEngine/fetch-tactics.sml"
    1.23    ML_file "MathEngine/solve.sml"
    1.24    ML_file "MathEngine/step.sml"
    1.25 -  ML_file "MathEngine/mathengine-stateless.sml"    (*!part. WN130804: +check Interpret/me.sml*)
    1.26 +  ML_file "MathEngine/mathengine-stateless.sml"
    1.27    ML_file "MathEngine/messages.sml"
    1.28    ML_file "MathEngine/states.sml"
    1.29  
    1.30 @@ -316,6 +316,12 @@
    1.31  
    1.32  section \<open>further tests additional to src/.. files\<close>
    1.33    ML_file "BridgeLibisabelle/use-cases.sml"
    1.34 +ML \<open>
    1.35 +\<close> ML \<open>
    1.36 +\<close> ML \<open>
    1.37 +\<close> ML \<open>
    1.38 +\<close> ML \<open>
    1.39 +\<close>
    1.40  
    1.41    ML \<open>"%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%";\<close>
    1.42    ML \<open>"%%%%%%%%%%%%%%%%% end Test_Isac %%%%%%%%%%%%%%%%%%%%%%%%";\<close>