]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52f8a53) | patch
* added template for tml:s
authorLuca Padovani <luca.padovani@unito.it>
Wed, 18 Jun 2003 12:53:24 +0000 (12:53 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 18 Jun 2003 12:53:24 +0000 (12:53 +0000)
commitd0c6eb0c125a387b0205f82ad2419114ab9b570a
treead7f967b25c1f62b74479184a49bb5efb20242dbtree | snapshot
parent52f8a530f09b93c9d5e2c4c93464e6e73fe0e90ecommit | diff
* added template for tml:s
* if the cursor is the empty string it is not produced
helm/DEVEL/mathml_editor/xsl/tml-tex.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.