sml-050214b-INTERSTEPS: xml corrected sml-050214b-INTERSTEPS
authorwneuper
Mon, 14 Feb 2005 17:18:03 +0100
changeset 2087186f34be2cdc
parent 2086 8ed58c3b004c
child 2088 25ce03008956
sml-050214b-INTERSTEPS: xml corrected
(before was DETAILSTEP)
src/sml/xmlsrc/interface-xml.sml
     1.1 --- a/src/sml/xmlsrc/interface-xml.sml	Mon Feb 14 17:18:03 2005 +0100
     1.2 +++ b/src/sml/xmlsrc/interface-xml.sml	Mon Feb 14 17:18:03 2005 +0100
     1.3 @@ -260,21 +260,21 @@
     1.4  
     1.5  fun interStepsOK (cI:calcID) (*pos'forms*) (old:pos') (del:pos') (new:pos') =
     1.6      writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n\
     1.7 -	     \<DETAILSTEP>\n\
     1.8 +	     \<INTERSTEPS>\n\
     1.9  	     \  <CALCID> "^string_of_int cI^" </CALCID>\n\
    1.10  	     \  <CALCCHANGED>\n" ^
    1.11  	     pos'2xml (2*i) ("UNCHANGED", old) ^ 
    1.12  	     pos'2xml (2*i) ("DELETED", del) ^ 
    1.13  	     pos'2xml (2*i) ("GENERATED", new) ^ 
    1.14  	     "  </CALCCHANGED>\n\
    1.15 -	     \</DETAILSTEP>\n\
    1.16 +	     \</INTERSTEPS>\n\
    1.17  	     \@@@@@end@@@@@");
    1.18  fun interStepsERROR (cI:calcID) e =
    1.19      writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n\
    1.20 -	     \<DETAILSTEP>\n\
    1.21 +	     \<INTERSTEPS>\n\
    1.22  	     \  <CALCID> "^string_of_int cI^" </CALCID>\n\
    1.23  	     \  <ERROR> "^ e ^" </ERROR>\n\
    1.24 -	     \</DETAILSTEP>\n\
    1.25 +	     \</INTERSTEPS>\n\
    1.26  	     \@@@@@end@@@@@");
    1.27  
    1.28  fun modifycalcheadOK2xml (cI:calcID) incom (chd:ocalhd) =