1.1 --- a/test/Tools/isac/Interpret/mathengine.sml	Thu May 08 14:09:02 2014 +0200
     1.2 +++ b/test/Tools/isac/Interpret/mathengine.sml	Sat May 31 15:09:33 2014 +0200
     1.3 @@ -233,9 +233,15 @@
     1.4  val _= upd_tacis cI tacis
     1.5  	       val (tac,_,_) = last_elem tacis;
     1.6  (*fetchproposedtacticOK2xml cI tac (fetchErrorpatterns tac);
     1.7 -**************************************************************************
     1.8 -ERROR: app_py: not found: ["IsacKnowledge","Tools","Rulesets","list_rls"]
     1.9 -**************************************************************************)
    1.10 +                                    fetchErrorpatterns tac
    1.11 +ERROR: app_py: not found: ["IsacKnowledge","KEStore","Rulesets","e_rls"]*)
    1.12 +"~~~~~ fun fetchErrorpatterns, args:"; val (tac) = (tac);
    1.13 +    val rlsID = "e_rls"
    1.14 +    val (part, thyID) = thy_containing_rls "Build_Thydata" rlsID;
    1.15 +if part = "IsacKnowledge" andalso thyID = "KEStore" then ()
    1.16 +else error "fetchErrorpatterns .. e_rls changed";
    1.17 +(*  val Hrls {thy_rls = (_, rls), ...} = get_the [part, thyID, "Rulesets", rlsID]
    1.18 +ERROR app_py: not found: ["IsacKnowledge","KEStore","Rulesets","e_rls"]*)
    1.19  
    1.20  "----------- fun step: Apply_Method without init_form ---";
    1.21  "----------- fun step: Apply_Method without init_form ---";