]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5b20300) | patch
----------------------------------------------------------------------
authorIrene Schena <irene.schena@unibo.it>
Wed, 25 Jul 2001 12:16:02 +0000 (12:16 +0000)
committerIrene Schena <irene.schena@unibo.it>
Wed, 25 Jul 2001 12:16:02 +0000 (12:16 +0000)
commit724c03286dd6d22091490ffdd8f66120c6c09dc8
tree79d9e20e2937b8a62b7d83a788ecb1017e1062aatree | snapshot
parent5b20300cc03102ef30de65eda421c22727244475commit | diff
----------------------------------------------------------------------
Modified Files:
1) content.xsl content_to_html.xsl mmlextension.xsl: added MML
piecewise for Mutcase patterns
----------------------------------------------------------------------
helm/style/content.xsl diff | blob | history
helm/style/content_to_html.xsl diff | blob | history
helm/style/mmlextension.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.