]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2db717b) | patch
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
tree0cf889c3f6871c6d0608d97e1695f9464ba624ebtree | snapshot
parent2db717b1af74a47aff841b504f4bf2ea0c8e885fcommit | diff
Modified Files:
1) mmlnotation.xsl: added parenthesis to some operators because apply-imports
   doesn't support with-param
helm/style/mmlnotation.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.