]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f4d60a) | patch
New utility function list_index (useful in many places, I think).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 25 Apr 2009 19:28:06 +0000 (19:28 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 25 Apr 2009 19:28:06 +0000 (19:28 +0000)
commitf0efe96e70ece971ff330c6d676ca9a6eaac1817
treeae41ea7d9af56b233f1ac3256e19f5ff71d1f0dftree | snapshot
parent1f4d60a3dddf11075937c43bb95efd8874c6660acommit | diff
New utility function list_index (useful in many places, I think).
helm/software/components/extlib/hExtlib.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.