1.1 --- a/test/Tools/isac/Interpret/mathengine.sml	Tue Jul 01 16:13:04 2014 +0200
     1.2 +++ b/test/Tools/isac/Interpret/mathengine.sml	Tue Jul 01 16:38:03 2014 +0200
     1.3 @@ -216,9 +216,6 @@
     1.4  (*this is the exact sequence of input provided by isac-java 3992e3bd1948;
     1.5    Surrounding ML { * ... * } are omitted.
     1.6    The multiple calls suggest to replicate the CalcTree in the Dialogue.
     1.7 -
     1.8 -  Reproduce error: On the newly opened Worksheet click <NEXT>.
     1.9 -  The error indicates a problem with the hierarchy of theories. 
    1.10  *)
    1.11  CalcTree [(["equality (x+1=(2::real))", "solveFor x", "solutions L"],
    1.12    ("Test",["sqroot-test","univariate","equation","test"],["Test","squ-equ-test-subpbl1"]))]; 
    1.13 @@ -231,22 +228,29 @@
    1.14  (*completeCalcHead*)refFormula 1 ([],Met); 
    1.15  refFormula 1 ([],Pbl); 
    1.16  (*<REFFORMULA>  <CALCID> 1 </CALCID>  <CALCHEAD status = "correct"> *)
    1.17 -(*fetchProposedTactic 1; 
    1.18 -<SYSERROR>  <CALCID> 1 </CALCID>  <ERROR> error in kernel </ERROR></SYSERROR>*)
    1.19 +fetchProposedTactic 1; 
    1.20 +(*-> <STRINGLISTTACTIC name="Apply_Method">
    1.21 +       <STRINGLIST>
    1.22 +         <STRING> Test </STRING>
    1.23 +         <STRING> squ-equ-test-subpbl1 </STRING>
    1.24 +WAS PREVIOUSLY: <SYSERROR>  <CALCID> 1 </CALCID>  <ERROR> error in kernel </ERROR></SYSERROR>*)
    1.25  "~~~~~ fun fetchProposedTactic, args:"; val (cI) = (1);
    1.26  val ("ok", (tacis, _, _)) = step (get_pos cI 1) (get_calc cI)
    1.27  val _= upd_tacis cI tacis
    1.28  	       val (tac,_,_) = last_elem tacis;
    1.29  (*fetchproposedtacticOK2xml cI tac (fetchErrorpatterns tac);
    1.30                                      fetchErrorpatterns tac
    1.31 -ERROR: app_py: not found: ["IsacKnowledge","KEStore","Rulesets","e_rls"]*)
    1.32 +WAS PREVIOUSLY ERROR: app_py: not found: ["IsacKnowledge","KEStore","Rulesets","e_rls"]*)
    1.33  "~~~~~ fun fetchErrorpatterns, args:"; val (tac) = (tac);
    1.34      val rlsID = "e_rls"
    1.35      val (part, thyID) = thy_containing_rls "Build_Thydata" rlsID;
    1.36  if part = "IsacScripts" andalso thyID = "KEStore" then ()
    1.37  else error "fetchErrorpatterns .. e_rls changed";
    1.38 -(*  val Hrls {thy_rls = (_, rls), ...} = get_the [part, thyID, "Rulesets", rlsID]
    1.39 -ERROR app_py: not found: ["IsacKnowledge","KEStore","Rulesets","e_rls"]*)
    1.40 +val Hrls {thy_rls = (_, rls), ...} = get_the [part, thyID, "Rulesets", rlsID];
    1.41 +(* WAS PREVIOUSLY ERROR app_py: not found: ["IsacKnowledge","KEStore","Rulesets","e_rls"]*)
    1.42 +case rls of
    1.43 +  Rls {id = "e_rls", ...} => ()
    1.44 +| _ => error "thy_containing_rls changed for e_rls"
    1.45  
    1.46  "----------- fun step: Apply_Method without init_form ---";
    1.47  "----------- fun step: Apply_Method without init_form ---";