]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12b2964) | patch
- added "has" method
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 12:07:37 +0000 (12:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 12:07:37 +0000 (12:07 +0000)
commitfa5991432c5d63657964d2e91508df7ef74037d9
tree45e8e7084401cc9181f2881a497d57d7b5a61348tree | snapshot
parent12b2964f1389189ff77cc9de5623388f2f3d4e5dcommit | diff
- added "has" method
- added "ls" method
- added "?prefix" parameter to "fold", "iter" and "to_list" methods
helm/ocaml/registry/helm_registry.ml diff | blob | history
helm/ocaml/registry/helm_registry.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.