From: Luca Padovani Date: Fri, 21 Feb 2003 13:18:42 +0000 (+0000) Subject: * the minus sign is now mapped to the right Unicode character ant not X-Git-Tag: V_0_0_4_1~14 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a5eb24c63329236dd428627f9567b69758cbbaf0;p=helm.git * the minus sign is now mapped to the right Unicode character ant not to the dash - --- diff --git a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl index f9a7e6907..8c9b8ead1 100644 --- a/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl +++ b/helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl @@ -69,6 +69,17 @@ + + + + + + + + − + + +