]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 651c5c5) | patch
fix_sorts (cfr. previous commit) used to break too many things.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Aug 2009 16:50:31 +0000 (16:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Aug 2009 16:50:31 +0000 (16:50 +0000)
commitd44567ba4b1a658974ee353e67c05d114c264f7f
treef4b797dffcc960301ee2b02627acaaac0527f56dtree | snapshot
parent651c5c55cba9ddbe592badc86b18502b83ecf580commit | diff
fix_sorts (cfr. previous commit) used to break too many things.
This commit is a more conservative extension...
helm/software/components/ng_refiner/nCicUnification.ml diff | blob | history
helm/software/components/ng_refiner/nCicUnification.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.