]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/registry/helm_registry.ml
debian version 0.0.5-6
[helm.git] / helm / ocaml / registry / helm_registry.ml
2004-08-05 Stefano Zacchirolifixed some invalid backslash escapes
2004-05-24 Stefano Zacchiroliadded OO interface
2004-05-20 Stefano Zacchiroliadded file locking while writing configuration to file...
2004-05-20 Stefano ZacchiroliChanged mapping keys <-> environment variables, mixed...
2004-05-20 Stefano Zacchiroli- added "has" method
2004-05-20 Stefano Zacchiroliadded iterators over registry contents (fold, iter...
2004-04-19 Stefano Zacchiroliuse PxpHelmConf module
2004-04-16 Stefano Zacchiroli- added sample usage of get_opt method
2004-04-06 Stefano Zacchiroliimplemented save_to
2004-02-24 Stefano Zacchiroli- added support for boolean parameters
2004-02-16 Stefano Zacchirolibugfix: top level keys now should work
2004-02-16 Stefano Zacchiroli- more structured configuration file
2004-02-13 Stefano Zacchiroli- added support for variable interpolation
2004-02-11 Stefano Zacchiroliadded some debugging messages
2004-02-09 Stefano Zacchiroli- added environment variable overriding
2004-01-27 Stefano Zacchirolihelm registry --- first release