Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more portable SQL types;
  2. more portable: SQL standard syntax instead of MySQL extension;
  3. general SQL database support, for SQLite and PostgreSQL; tuned;
  4. updated;
  5. minimal support for PostgreSQL databases;
Changeset 65004:fd4d1395fa17 by wenzelm:
more portable SQL types;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65003:4b4ccf86755c by wenzelm:
more portable: SQL standard syntax instead of MySQL extension;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65002:0c44e3e9126f by wenzelm:
general SQL database support, for SQLite and PostgreSQL;<br>tuned;
The file was addedsrc/Pure/General/sql_database.scala
The file was modified src/Pure/General/postgresql.scala (diff)
The file was modified src/Pure/General/sqlite.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 65001:d7cefedbca94 by wenzelm:
updated;
The file was modified Admin/components/components.sha1 (diff)
Changeset 65000:b28bd9dfe108 by wenzelm:
minimal support for PostgreSQL databases;
The file was addedsrc/Pure/General/postgresql.scala
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/build-jars (diff)