]> matita.cs.unibo.it Git - helm.git/commit
Unary minus now rendered without parentheses.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Dec 2002 10:37:39 +0000 (10:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Dec 2002 10:37:39 +0000 (10:37 +0000)
commite4e0d5516afad97513e6a9fe705944a1ea8a7fd7
treec7e6d732e4682fd56a5dee08d66a8fd6450e3e46
parent5c85cc18dfa4133e5e0a50eaecd938aae60acb49
Unary minus now rendered without parentheses.
helm/style/mmlctop.xsl