matita.cs.unibo.it Git - helm.git/history - helm/hbugs/common/hbugs

]> matita.cs.unibo.it Git - helm.git/history - helm/hbugs/common/hbugs_messages.mli

[helm.git] / helm / hbugs / common / hbugs_messages.mli

2004-04-19	Stefano Zacchiroli	moved hbugs under ocaml/	commit \| commitdiff
2003-04-16	Claudio Sacerdoti...	- support None state	commit \| commitdiff
2003-02-19	Stefano Zacchiroli	- implemented status {,de}serialization	commit \| commitdiff
2003-01-10	Stefano Zacchiroli	- moved here respond_exc and respond_msg from broker/	commit \| commitdiff
2003-01-07	Stefano Zacchiroli	- fixed helm web page url and copyright notice	commit \| commitdiff
2003-01-05	Stefano Zacchiroli	- hbugs first draft release, not yet tested	commit \| commitdiff

Unnamed repository; edit this file 'description' to name the repository.