]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e4d0e87) | patch
changed precedence/associativeness handling: relative position of children wrt its...
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Sep 2005 16:37:13 +0000 (16:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 27 Sep 2005 16:37:13 +0000 (16:37 +0000)
commitdfdff98e4417bae54fcf31d49c8a4d718c4487c2
treedb49af5982e71dddb18fe6fa06630b8d5c9858e1tree | snapshot
parente4d0e879c6288190ae793e1425b1ed74e40346c4commit | diff
changed precedence/associativeness handling: relative position of children wrt its (box-)parent is now statically computed starting from the level1 pattern
helm/ocaml/cic_notation/cicNotationPres.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationPt.ml diff | blob | history
helm/ocaml/cic_notation/cicNotationRew.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.