]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70f06c2) | patch
SQL quoting fixed in relation.ml
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 4 Feb 2003 19:08:28 +0000 (19:08 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 4 Feb 2003 19:08:28 +0000 (19:08 +0000)
commit34feb17401c569973c510ae75360be275587d315
tree008fa2eab3b6ca387106a8bd3221b7e2f58b7e84tree | snapshot
parent70f06c25a96ecee162d88e0b0beb33a42151e46fcommit | diff
SQL quoting fixed in relation.ml
helm/ocaml/.cvsignore diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.