]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd3b2ca) | patch
use empty universe in the mono alias phases
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 25 Nov 2005 16:34:17 +0000 (16:34 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 25 Nov 2005 16:34:17 +0000 (16:34 +0000)
commitb881e38c03d5ecf26267a47d7e4208bd31ebc33d
tree06e0f5042a8d14b7a8b9905919c3279b27cea9e7tree | snapshot
parentdd3b2ca095995254d43dd0b2d3d474428a007616commit | diff
use empty universe in the mono alias phases
helm/matita/matitaDisambiguator.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.