]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 298111d) | patch
bugfix: use only baseuri in uri part of MutInd and MutConstruct
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Oct 2004 15:53:25 +0000 (15:53 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Oct 2004 15:53:25 +0000 (15:53 +0000)
commitd491d2def96ddd1c27299ad0fa3d0cae39aa45ce
tree12d88a9c90581b6c1a9a3c1691e6303aaefcd332tree | snapshot
parent298111deca0e953b67f8ed0fea03deb9e0dc59d1commit | diff
bugfix: use only baseuri in uri part of MutInd and MutConstruct
helm/ocaml/cic/cicUtil.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.