Summary
- more portable SQL types;
- more portable: SQL standard syntax instead of MySQL extension;
- general SQL database support, for SQLite and PostgreSQL; tuned;
- updated;
- minimal support for PostgreSQL databases;
The file was modified | src/Pure/General/sql.scala (diff) |
The file was modified | src/Pure/General/sql.scala (diff) |
The file was added | src/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) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was added | src/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) |