]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cfad334) | patch
bugfix: no more xref on bound names
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jul 2005 07:53:12 +0000 (07:53 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jul 2005 07:53:12 +0000 (07:53 +0000)
commit2c5fc1a1783fc82d6a6b120b122a43a47f7cc5e0
tree322ea9b543c1d015f1158bd035403fc81c67cd2ftree | snapshot
parentcfad3344c731dc1fa682fa6e01dec53573c5de1dcommit | diff
bugfix: no more xref on bound names
helm/ocaml/cic_notation/cicNotationUtil.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.