]> matita.cs.unibo.it Git - helm.git/commit
new metadataTypes interface (with ownerize function)
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 3 Feb 2005 14:31:59 +0000 (14:31 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 3 Feb 2005 14:31:59 +0000 (14:31 +0000)
commita36baf354f63f6749dba7a8cc67caf3b888ba8cf
tree7c7f459c5406810076271b13d0a79ecbcb6c17aa
parent66314ee777ff9215dd45eb0894428537f765fc69
new metadataTypes interface (with ownerize function)
helm/ocaml/metadata/.depend
helm/ocaml/metadata/Makefile
helm/ocaml/metadata/metadataConstraints.ml
helm/ocaml/metadata/metadataDb.ml
helm/ocaml/metadata/metadataTypes.ml
helm/ocaml/tactics/metadataQuery.ml