]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b01122) | patch
Stupid bug fixed: the test to detect Uncertain cases was simply reverted.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jul 2009 13:13:45 +0000 (13:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Jul 2009 13:13:45 +0000 (13:13 +0000)
commit2b224c0d5e0e7f611d4887fd61fff038c292efd5
tree076d5fb112309cffc3c781be6cee016d04913d45tree | snapshot
parent3b011229f73f5150fa75c9f196812154b6a4d8bacommit | diff
Stupid bug fixed: the test to detect Uncertain cases was simply reverted.
helm/software/components/ng_refiner/nCicMetaSubst.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.