Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. clarified exceptions;
  2. support for (single) primary key; more operations;
  3. more operations; clarified NULL treatment;
  4. more operations;
  5. clarified modules; tuned signature;
Changeset 63782:aced4f0d1ad4 by wenzelm:
clarified exceptions;
The file was modified src/Pure/General/exn.scala (diff)
Changeset 63781:af9fe0b6b78e by wenzelm:
support for (single) primary key;<br>more operations;
The file was modified src/Pure/Tools/sql.scala (diff)
The file was modified src/Pure/library.scala (diff)
Changeset 63780:163244cefb4e by wenzelm:
more operations;<br>clarified NULL treatment;
The file was modified src/Pure/Tools/sql.scala (diff)
The file was modified src/Pure/Tools/sqlite.scala (diff)
Changeset 63779:9da65bc75610 by wenzelm:
more operations;
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)
Changeset 63778:e06e899b78d0 by wenzelm:
clarified modules;<br>tuned signature;
The file was addedsrc/Pure/Tools/sql.scala
The file was modified src/Pure/Tools/sqlite.scala (diff)
The file was modified src/Pure/build-jars (diff)