]> matita.cs.unibo.it Git - helm.git/history - helm/hbugs/common
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
1. Modificiations due to the change ot K.Aux
[helm.git] / helm / hbugs / common /
2003-04-16 Stefano Zacchiroli- use an exception to handle empty status nodes tree | commitdiff
2003-04-16 Claudio Sacerdoti... - support None state tree | commitdiff
2003-04-16 Claudio Sacerdoti... State_change can now contain a state of None indicating... tree | commitdiff
2003-04-16 Stefano Zacchiroliadded ocamlfind trick to trigger rebuild when some... tree | commitdiff
2003-04-02 Claudio Sacerdoti... Bugs fixed: tree | commitdiff
2003-02-21 Stefano Zacchiroliadded pp for apply hint tree | commitdiff
2003-02-21 Stefano Zacchirolirebuilt tree | commitdiff
2003-02-19 Stefano Zacchiroli- implemented status {,de}serialization tree | commitdiff
2003-02-19 Stefano Zacchiroli- formalized proof engine status tree | commitdiff
2003-02-19 Stefano Zacchiroli- added helm- modules dependencies tree | commitdiff
2003-02-19 Stefano Zacchirolirebuilt tree | commitdiff
2003-02-19 Stefano Zacchiroliadded common module tree | commitdiff
2003-01-10 Stefano Zacchirolirebuilt tree | commitdiff
2003-01-10 Stefano Zacchiroli- moved here respond_exc and respond_msg from broker/ tree | commitdiff
2003-01-10 Stefano Zacchiroliimplemented random id generation tree | commitdiff
2003-01-10 Stefano Zacchirolirebuilt tree | commitdiff
2003-01-10 Stefano Zacchirolireimplemented http GET/POST functions grabbing function... tree | commitdiff
2003-01-10 Stefano Zacchiroliadded dependency on 'http' library tree | commitdiff
2003-01-07 Stefano Zacchiroli- fixed helm web page url and copyright notice tree | commitdiff
2003-01-05 Stefano Zacchiroli- hbugs first draft release, not yet tested tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.