]> matita.cs.unibo.it Git - helm.git/commit
New version 0.0.2:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 19 Jun 2003 15:25:33 +0000 (15:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 19 Jun 2003 15:25:33 +0000 (15:25 +0000)
commit87152a8fc9dc1d743213614da2ba279c8975fd09
treeed8f6ed3c491a97f7679a88fcf9d164b57f8053d
parent332af2ea195c3d8d363ba729786c3f7d0d60b50b
New version 0.0.2:

* Bug fixed:
  - the *PushLexer reset method did not notify the PushParser of the
    buffer reset
  - the reset() method of the ocaml binding did not reset the Lexer.
    Closes #85 and #86
  - Even if the cursor is not visible, its value should be rendered
    in MathML Presentation and it should be printed in TeX. Fixed
    both xml-mmlp.xsl and tml-tex.xsl

* New stuff:
  - the LPushLexer now recognized \/ as a long identifier character.
  - Added a new tml-litex.xsl stylesheet from TML to TeX + long identifiers.
    It should be (but it is not yet) the inverse function of the
    parser
helm/DEVEL/mathml_editor/configure.ac
helm/DEVEL/mathml_editor/debian/changelog
helm/DEVEL/mathml_editor/ocaml/c_mathml_editor.cc
helm/DEVEL/mathml_editor/src/LPushLexer.cc
helm/DEVEL/mathml_editor/src/TPushLexer.cc
helm/DEVEL/mathml_editor/src/TPushParser.cc
helm/DEVEL/mathml_editor/xsl/tml-litex.xsl [new file with mode: 0644]
helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl
helm/DEVEL/mathml_editor/xsl/tml-tex.xsl