]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0126a3d) | patch
The term contains dummy.conv that was searched over the net.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 Sep 2009 08:18:31 +0000 (08:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 30 Sep 2009 08:18:31 +0000 (08:18 +0000)
commit61948e2e9b31460eb6a0bbd627c90a6549d65414
treeb348ff5ec981edfd509fe5b247edcf764ee02a8ftree | snapshot
parent0126a3d56c31231c38367ad7190fe80e471ca8cccommit | diff
The term contains dummy.conv that was searched over the net.
helm/software/components/ng_refiner/nCicUnifHint.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.