]> matita.cs.unibo.it Git - helm.git/commit - helm/hbugs/broker/hbugs_broker_registry.mli
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e290ab0) | patch
- added methods
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 21 Jan 2003 12:22:55 +0000 (12:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 21 Jan 2003 12:22:55 +0000 (12:22 +0000)
commitc10d2f7a3d4929c718e9e392e6f8fb323bfec9fb
tree280b8aafb6ea9713bf72bf15cb2cb835e982d0fbtree | snapshot
parente290ab0a049ec2babedc3cb0ff802c430ed8ee7ccommit | diff
- added methods
  * dump    (debugging, dump registry internal status)
  * purge   (remove ancient entries from registries)
helm/hbugs/broker/hbugs_broker_registry.ml diff | blob | history
helm/hbugs/broker/hbugs_broker_registry.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.