]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a36baf3) | patch
added new ownerize function
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 3 Feb 2005 14:32:22 +0000 (14:32 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 3 Feb 2005 14:32:22 +0000 (14:32 +0000)
commit87e64c10c39f0adf135ee3633b04b40c1a248825
tree593eb97f06b75ad2a4e620c72d11c1a03ea48eadtree | snapshot
parenta36baf354f63f6749dba7a8cc67caf3b888ba8cfcommit | diff
added new ownerize function
helm/ocaml/metadata/metadataTypes.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.