]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 063cfc6) | patch
- split metadata type in metadata and constraints. Metadata are computed
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Oct 2004 07:25:27 +0000 (07:25 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Oct 2004 07:25:27 +0000 (07:25 +0000)
commit9cd69dd86ed337478461241d497265ccc59f819a
tree166d8597e060b0a2c016b72325d9cc06e5f77711tree | snapshot
parent063cfc60b3ac7790b2080aa5ca7471c9e49a3b60commit | diff
- split metadata type in metadata and constraints. Metadata are computed
  from cic objects while constraints are used to query the database
helm/ocaml/metadata/metadataConstraints.ml diff | blob | history
helm/ocaml/metadata/metadataConstraints.mli diff | blob | history
helm/ocaml/metadata/metadataExtractor.ml diff | blob | history
helm/ocaml/metadata/metadataPp.ml diff | blob | history
helm/ocaml/metadata/metadataPp.mli diff | blob | history
helm/ocaml/metadata/metadataTypes.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.