]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1727868) | patch
* the minus sign is now mapped to the right Unicode character ant not
authorLuca Padovani <luca.padovani@unito.it>
Fri, 21 Feb 2003 13:18:42 +0000 (13:18 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 21 Feb 2003 13:18:42 +0000 (13:18 +0000)
commita5eb24c63329236dd428627f9567b69758cbbaf0
tree6762217f7e13637f736b209f436642684487cc3ctree | snapshot
parent1727868b2ca175c69c7d75623a3dd0052591d327commit | diff
* the minus sign is now mapped to the right Unicode character ant not
  to the dash -
helm/DEVEL/mathml_editor/xsl/tml-mmlp.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.