1.1 --- a/src/Tools/isac/xmlsrc/interface-xml.sml	Tue Aug 25 06:13:07 2015 +0200
     1.2 +++ b/src/Tools/isac/xmlsrc/interface-xml.sml	Sat Aug 29 08:33:54 2015 +0200
     1.3 @@ -361,9 +361,23 @@
     1.4  fun fetchproposedtacticOK2xml (calcid : calcID) tac (errpatIDs : errpatID list) = 
     1.5    XML.Elem (("NEXTTAC", []), [
     1.6      XML.Elem (("CALCID", []), [XML.Text (string_of_int calcid)]),
     1.7 -    XML.Elem (("TACTICERRORPATTERNS", []), [
     1.8 -      xml_of_strs errpatIDs,
     1.9 -      xml_of_tac tac])])
    1.10 +    XML.Elem (("TACTICERRORPATTERNS", []), [xml_of_strs errpatIDs]),
    1.11 +    xml_of_tac tac])
    1.12 +(*
    1.13 +//  java.lang.IllegalArgumentException: fetch_proposed_tac_out wrong arg: 
    1.14 + *  <NEXTTAC>
    1.15 + *    <CALCID>1</CALCID>
    1.16 + *    <TACTICERRORPATTERNS>
    1.17 + *      <STRINGLIST/>
    1.18 + *    <STRINGLISTTACTIC name="Apply_Method">
    1.19 + *      <STRINGLIST>
    1.20 + *        <STRING>Test</STRING>
    1.21 + *        <STRING>squ-equ-test-subpbl1</STRING>
    1.22 + *      </STRINGLIST>
    1.23 + *    </STRINGLISTTACTIC>
    1.24 + *  </TACTICERRORPATTERNS>
    1.25 + *</NEXTTAC>
    1.26 + *)
    1.27  
    1.28  fun fetchproposedtacticERROR2xml (*uI:userID*) (cI:calcID) e = 
    1.29      writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^