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.ml

2003-09-07	Stefano Zacchiroli	use an integer debugging level instead of a boolean one	blob \| commitdiff \| raw
2003-04-16	Stefano Zacchiroli	- use an exception to handle empty status nodes	blob \| commitdiff \| raw \| diff to current
2003-04-16	Claudio Sacerdoti...	- support None state	blob \| commitdiff \| raw \| diff to current
2003-04-02	Claudio Sacerdoti...	Bugs fixed:	blob \| commitdiff \| raw \| diff to current
2003-02-19	Stefano Zacchiroli	- implemented status {,de}serialization	blob \| commitdiff \| raw \| diff to current
2003-01-10	Stefano Zacchiroli	- moved here respond_exc and respond_msg from broker/	blob \| commitdiff \| raw \| diff to current
2003-01-07	Stefano Zacchiroli	- fixed helm web page url and copyright notice	blob \| commitdiff \| raw \| diff to current
2003-01-05	Stefano Zacchiroli	- hbugs first draft release, not yet tested	blob \| commitdiff \| raw \| diff to current

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