]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2ef4a0) | patch
This xslt transforms the TML tree in TeX using a particular syntax:
authorPaolo Marinelli <paolo.marinelli@unibo.it>
Thu, 13 Mar 2003 17:44:48 +0000 (17:44 +0000)
committerPaolo Marinelli <paolo.marinelli@unibo.it>
Thu, 13 Mar 2003 17:44:48 +0000 (17:44 +0000)
commit3aa99304d95d768fc1d95c23e7fa3d1df09defa2
tree8565dcf1335f6d30b06cc18123ba2ee966b6cfedtree | snapshot
parentd2ef4a0e438ed6acee836b3786e377b133c098afcommit | diff
This xslt transforms the TML tree in TeX using a particular syntax:
  every node having the attribute Id, will be transformed in
  {\id{id value}{expansion of its children}}.
helm/DEVEL/mathml_editor/xsl/tml-texid.xsl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.