Summary
- merged
- proper transaction for PostgreSQL;
- clarified Date storage;
- more operations;
- tuned signature;
- clarified signature;
The file was modified | src/Pure/General/sql.scala (diff) |
The file was modified | src/Pure/General/date.scala (diff) |
The file was modified | src/Pure/General/sql.scala (diff) |
The file was modified | src/Pure/General/sql.scala (diff) |
The file was modified | src/Pure/General/sql.scala (diff) |
The file was modified | src/Pure/General/sql.scala (diff) |