]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8751721) | patch
- reindented
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 8 Mar 2004 23:16:50 +0000 (23:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 8 Mar 2004 23:16:50 +0000 (23:16 +0000)
commit8e0cc60ace0568fef849d0a689ab222010c17e33
treee586f393f3b48d8055784563ab7abff4a5640d14tree | snapshot
parent8751721d61afcf2da67cb2ebdd70bb3e07aba551commit | diff
- reindented
- "count (" is not valid SQL (at least for MySql).
  Replaced with "count("
- binary removed. Tables are now binary by default.
  The advantage is that in this way indexes do work.
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.