]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5886d89) | patch
bugfix for missing parens: when the precedence does not change, parens are now added...
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 Jan 2006 10:12:41 +0000 (10:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 Jan 2006 10:12:41 +0000 (10:12 +0000)
commit9519784f61f41cb8f5f054659beadb60d424873a
treea69adcc3210bf955fae6b9f3fd5178d4003679b8tree | snapshot
parent5886d890afe8fbb3b6bae0fffdfa657b894cae3fcommit | diff
bugfix for missing parens: when the precedence does not change, parens are now added not only when there is a mismatch Left vs Right or vice versa but also when there is a mismatch Left vs Inner, Right vs Inner and vice versa.
helm/ocaml/content_pres/cicNotationPres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.