Summary
- clarified exceptions;
- support for (single) primary key; more operations;
- more operations; clarified NULL treatment;
- more operations;
- clarified modules; tuned signature;
The file was modified | src/Pure/General/exn.scala (diff) |
The file was modified | src/Pure/Tools/sql.scala (diff) |
The file was modified | src/Pure/library.scala (diff) |
The file was modified | src/Pure/Tools/sql.scala (diff) |
The file was modified | src/Pure/Tools/sqlite.scala (diff) |
The file was modified | src/Pure/General/bytes.scala (diff) |
The file was modified | src/Pure/Tools/sql.scala (diff) |
The file was modified | src/Pure/Tools/sqlite.scala (diff) |
The file was added | src/Pure/Tools/sql.scala |
The file was modified | src/Pure/Tools/sqlite.scala (diff) |
The file was modified | src/Pure/build-jars (diff) |