]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71cc512) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Mon, 5 Feb 2001 16:53:24 +0000 (16:53 +0000)
committerIrene Schena <irene.schena@unibo.it>
Mon, 5 Feb 2001 16:53:24 +0000 (16:53 +0000)
commita67544c0aa4c12b6b900345d16d43d0ee20eccf1
tree866f3c94928afb8e9e8dd35eb651f487bdb61861tree | snapshot
parent71cc512008eddc1c64b0388b7def903d1994eaa2commit | diff
Modified Files:
1) mmlextension.xsl: added associativity (by means of parenthesis) to
the arrow
2) objcontent.xsl: no more mode="noannot" into apply-templates of the
abstparams template
helm/style/mmlextension.xsl diff | blob | history
helm/style/objcontent.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.