]> matita.cs.unibo.it Git - helm.git/commit
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Tue, 7 May 2002 11:01:23 +0000 (11:01 +0000)
committerIrene Schena <irene.schena@unibo.it>
Tue, 7 May 2002 11:01:23 +0000 (11:01 +0000)
commitc169f48a31abaea726adf852081e274fcb67f770
tree0cf889c3f6871c6d0608d97e1695f9464ba624eb
parent2db717b1af74a47aff841b504f4bf2ea0c8e885f
Modified Files:
1) mmlnotation.xsl: added parenthesis to some operators because apply-imports
   doesn't support with-param
helm/style/mmlnotation.xsl