]> matita.cs.unibo.it Git - helm.git/commit
- 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
tree8e6e73a15ddb7c53d45bbc1efea51d3fd56c5db6
parent41818e7e1f465ca2062b1937dd432fc81fe777d6
- added sql statements for querying forward and backward dependencies
- escaped uri which get embedded in sql statements
helm/software/components/metadata/sqlStatements.ml
helm/software/components/metadata/sqlStatements.mli