projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d26151) | patch
bugfix for uminus notation, prints parens where needed
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Sep 2005 12:46:47 +0000 (12:46 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 Sep 2005 12:46:47 +0000 (12:46 +0000)
commit87266fe0371244bfa3581a2a1b3cbae8549199e1
treeacfa8dbabb4fa747ebc36385426ef555fdb8bc41tree | snapshot
parent2d26151ea656b0f386855ffb519541171855f755commit | diff
bugfix for uminus notation, prints parens where needed
helm/matita/core_notation.moo diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.