]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/metadata/metadataPp.ml
ocaml 3.09 transition
[helm.git] / helm / ocaml / metadata / metadataPp.ml
2005-06-17 Claudio Sacerdoti... many strings that are supposed to be URIs are now UriMa...
2005-05-16 Enrico Tassifixed instance
2005-05-05 Andrea AspertiSome modifications due to instance.
2005-04-28 Enrico Tassisingle INSERT on multiple tuples
2005-01-24 Stefano Zacchiroliuses CicPp.ppsort
2004-11-03 Stefano Zacchirolino longer use Dbi module but directly use Mysql module...
2004-10-22 Stefano Zacchiroli- changed metadata type so that positions contains...
2004-10-21 Stefano Zacchiroli- split metadata type in metadata and constraints....
2004-10-15 Stefano Zacchiroliadded helm-metadata module