]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f761def) | patch
- moved functions for sending/receiving hbugs messages in common/
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:05:24 +0000 (09:05 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:05:24 +0000 (09:05 +0000)
commitd6f4e5a43fbd054835d2323e7d5351741bd2ad3b
tree03b48fe9ef37b5791c83958640ec20eb539faca4tree | snapshot
parentf761deff2f2f8c0cce674d2885b22a94a972ea85commit | diff
- moved functions for sending/receiving hbugs messages in common/
- added a debugging wrapper that prints all messages received by broker
- test that 'subscribe' method receive at least one tutor_id
helm/hbugs/broker/hbugs_broker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.