]> matita.cs.unibo.it Git - helm.git/commit - helm/hbugs/broker/hbugs_broker_registry.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f54edac) | patch
- bugfix: musings table is now consistent!
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 13:48:35 +0000 (13:48 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 13:48:35 +0000 (13:48 +0000)
commite404d33b583660bee61656308ddd20df79ad1eba
treed12f3d5f931c0fbc6f0a8cae71a854481173565ftree | snapshot
parentf54edaccaf3d56499632ce349276be5c2e711a6ccommit | diff
- bugfix: musings table is now consistent!
- changed data structures used to hold musings: now explicitely use
  lists instead of relying on Hashtbl multiple bindings
- added isActive method on musings class
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.