]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9b16ad) | patch
Let's refresh the universe to avoid assert failure.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Aug 2009 15:45:34 +0000 (15:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Aug 2009 15:45:34 +0000 (15:45 +0000)
commit23b7119d915c6ff6ba3c89267bd91f7312afe619
treef836c2de65d6bc726db39f45e41be72e0f2e61f1tree | snapshot
parentf9b16ad62794042c2b31c6e3433b3c4035f8a0d5commit | diff
Let's refresh the universe to avoid assert failure.
However, the effect of this is still unclear to me.
helm/software/components/ng_refiner/nCicUnification.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.