]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb2fabf) | patch
Useless old code for ad-hoc management of out-scope removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 30 Oct 2009 10:21:38 +0000 (10:21 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 30 Oct 2009 10:21:38 +0000 (10:21 +0000)
commite20e61bf6ec3f40451fd06059ac9293d9c45538c
tree15433b6370cf46e5b1c8c609d7d1e8e3f0c31dcftree | snapshot
parentfb2fabf6c94d6a2f930b7a84673c90af32c48803commit | diff
Useless old code for ad-hoc management of out-scope removed.
helm/software/components/ng_refiner/nCicUnification.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.