]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70b2f6a) | patch
Bug fixed: instead of generating "not ()", I generate "true" (for PostGresql)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 9 Mar 2004 10:34:31 +0000 (10:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 9 Mar 2004 10:34:31 +0000 (10:34 +0000)
commit4a324741ecde2a78df8d0ef31d197af96b97472d
tree151d6180ccb2e6ca562daab07e0ad91306c21749tree | snapshot
parent70b2f6a3f29be2e1e898fe7d63bd985a5b31ae35commit | diff
Bug fixed: instead of generating "not ()", I generate "true" (for PostGresql)
and "1" for Mysql.
helm/ocaml/mathql_interpreter/mQIMySql.ml diff | blob | history
helm/ocaml/mathql_interpreter/mQIPostgres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.