]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41818e7) | patch
- added sql statements for querying forward and backward dependencies
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Jul 2006 15:28:24 +0000 (15:28 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Jul 2006 15:28:24 +0000 (15:28 +0000)
commit39a3a05b745309703a5010d3da3e2a12c7228064
tree8e6e73a15ddb7c53d45bbc1efea51d3fd56c5db6tree | snapshot
parent41818e7e1f465ca2062b1937dd432fc81fe777d6commit | diff
- added sql statements for querying forward and backward dependencies
- escaped uri which get embedded in sql statements
helm/software/components/metadata/sqlStatements.ml diff | blob | history
helm/software/components/metadata/sqlStatements.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.