]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff32595) | patch
- changed metadata type so that positions contains depth
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Oct 2004 12:40:58 +0000 (12:40 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Oct 2004 12:40:58 +0000 (12:40 +0000)
commit4bc5e3edbedb79e13f16a09abe18ee38e9c78a20
treeee10032fdbbe4a838f6b82aaeb613ffc0b9d87bctree | snapshot
parentff32595bcb09272afe9be4143062da85354c14ddcommit | diff
- changed metadata type so that positions contains depth
- introduced constraints (vs metadata)
- positions no longer hard coded (so that both short and long names are
  supported)
- added "where" parameter so that matching could be perfomed either on
  conclusion only or on the whole statement
helm/ocaml/metadata/metadataConstraints.ml diff | blob | history
helm/ocaml/metadata/metadataConstraints.mli diff | blob | history
helm/ocaml/metadata/metadataDb.ml diff | blob | history
helm/ocaml/metadata/metadataPp.ml diff | blob | history
helm/ocaml/metadata/metadataTypes.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.