tuned
authorWalther Neuper <wneuper@ist.tugraz.at>
Sat, 29 Aug 2015 08:35:26 +0200
changeset 59169eb815a2e7510
parent 59168 c84d2d8c6592
child 59170 7ba0da6c7107
tuned

cf. https://intra.ist.tugraz.at/hg/isac/rev/5cd211b9630e
src/Tools/isac/xmlsrc/interface-xml.sml
     1.1 --- a/src/Tools/isac/xmlsrc/interface-xml.sml	Sat Aug 29 08:33:54 2015 +0200
     1.2 +++ b/src/Tools/isac/xmlsrc/interface-xml.sml	Sat Aug 29 08:35:26 2015 +0200
     1.3 @@ -363,21 +363,6 @@
     1.4      XML.Elem (("CALCID", []), [XML.Text (string_of_int calcid)]),
     1.5      XML.Elem (("TACTICERRORPATTERNS", []), [xml_of_strs errpatIDs]),
     1.6      xml_of_tac tac])
     1.7 -(*
     1.8 -//  java.lang.IllegalArgumentException: fetch_proposed_tac_out wrong arg: 
     1.9 - *  <NEXTTAC>
    1.10 - *    <CALCID>1</CALCID>
    1.11 - *    <TACTICERRORPATTERNS>
    1.12 - *      <STRINGLIST/>
    1.13 - *    <STRINGLISTTACTIC name="Apply_Method">
    1.14 - *      <STRINGLIST>
    1.15 - *        <STRING>Test</STRING>
    1.16 - *        <STRING>squ-equ-test-subpbl1</STRING>
    1.17 - *      </STRINGLIST>
    1.18 - *    </STRINGLISTTACTIC>
    1.19 - *  </TACTICERRORPATTERNS>
    1.20 - *</NEXTTAC>
    1.21 - *)
    1.22  
    1.23  fun fetchproposedtacticERROR2xml (*uI:userID*) (cI:calcID) e = 
    1.24      writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^