]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98a2af5) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Thu, 22 Mar 2001 12:40:20 +0000 (12:40 +0000)
committerIrene Schena <irene.schena@unibo.it>
Thu, 22 Mar 2001 12:40:20 +0000 (12:40 +0000)
commit98bebe823e0b925f5b4bd3b0c70f1a966ae12758
tree1cebb1765a8a1b63d5d465d9a1274b797ad5f432tree | snapshot
parent98a2af5652851a3ef8260cfcb66fe5f87341117ccommit | diff
Modified Files:
1) mmlextension.xsl: added import of mmltheoryextension.xsl
2) objcontent.xsl: added *[1] to apply-templates
Added Files:
1) mmltheoryextension.xsl: MML presentation of objects in theories
helm/style/mmlextension.xsl diff | blob | history
helm/style/mmltheoryextension.xsl [new file with mode: 0644] blob
helm/style/objcontent.xsl diff | blob | history
helm/style/theory_pres.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.