sml_050208b_interSteps: int intermediateSteps(CalcIterator) sml-050208b-interSteps
authorwneuper
Tue, 08 Feb 2005 18:33:15 +0100
changeset 2073bf0e6012b522
parent 2072 6af8b6f15d97
child 2074 b2c7891bef5d
sml_050208b_interSteps: int intermediateSteps(CalcIterator)
src/sml/xmlsrc/interface-xml.sml
     1.1 --- a/src/sml/xmlsrc/interface-xml.sml	Tue Feb 08 18:33:15 2005 +0100
     1.2 +++ b/src/sml/xmlsrc/interface-xml.sml	Tue Feb 08 18:33:15 2005 +0100
     1.3 @@ -221,7 +221,7 @@
     1.4  	     \</AUTOCALC>\n\
     1.5  	     \@@@@@end@@@@@");
     1.6  
     1.7 -fun detailStepOK (cI:calcID) (*pos'forms*) (old:pos') (del:pos') (new:pos') =
     1.8 +fun interStepsOK (cI:calcID) (*pos'forms*) (old:pos') (del:pos') (new:pos') =
     1.9      writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n\
    1.10  	     \<DETAILSTEP>\n\
    1.11  	     \  <CALCID> "^string_of_int cI^" </CALCID>\n\
    1.12 @@ -232,7 +232,7 @@
    1.13  	     "  </CALCCHANGED>\n\
    1.14  	     \</DETAILSTEP>\n\
    1.15  	     \@@@@@end@@@@@");
    1.16 -fun detailStepERROR (cI:calcID) e =
    1.17 +fun interStepsERROR (cI:calcID) e =
    1.18      writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n\
    1.19  	     \<DETAILSTEP>\n\
    1.20  	     \  <CALCID> "^string_of_int cI^" </CALCID>\n\