sml-050311a: little changes in doc/math-eng.tex
authorwneuper
Fri, 11 Mar 2005 10:46:31 +0100
changeset 21619762fb3bd7fc
parent 2160 f7773a436eb4
child 2162 161819a0cbbc
sml-050311a: little changes in doc/math-eng.tex
src/xml/isac.dtd
     1.1 --- a/src/xml/isac.dtd	Fri Mar 11 10:46:31 2005 +0100
     1.2 +++ b/src/xml/isac.dtd	Fri Mar 11 10:46:31 2005 +0100
     1.3 @@ -5,6 +5,7 @@
     1.4  GETTACTIC | APPLICABLETACTICS | GETASSUMPTIONS | GETACCUMULATEDASMS |
     1.5  REFFORMULA | GETELEMENTSFROMTO)>
     1.6  
     1.7 +<!ELEMENT CALCTREE (CALCID)>
     1.8  <!ELEMENT CALCID (#PCDATA)>
     1.9  
    1.10  <!ELEMENT ADDUSER (CALCID,USERID)>