]> matita.cs.unibo.it Git - helm.git/history - helm/DEVEL/rdfly
snapshort
[helm.git] / helm / DEVEL / rdfly /
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API
2004-05-18 Claudio Sacerdoti... * [Luca] string concatenation now made using String...
2004-02-23 Claudio Sacerdoti... Bug fix: the generated XML for DCs was not well-formed.
2004-02-23 Claudio Sacerdoti... kind=dc implemented.
2004-02-23 Stefano Zacchirolisupport optional keys in configuration file
2004-02-23 Stefano Zacchiroliremoved password entry, now uses "helm" user (read...
2004-02-20 Claudio Sacerdoti... Ported to
2003-10-17 Luca Padovani* added daemon
2003-10-17 Luca Padovani* oo interface
2003-10-17 Luca Padovani* first files added to cvs