Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. support for type Boolean;
  3. clarified signature; tuned toString;
  4. remote database access via ssh port forwarding;
  5. clarified handling of SQL.Type;
  6. clarified toString;
  7. clarified modules;
Changeset 65012:14641ca387f8 by wenzelm:
tuned;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65011:42bffd1637f0 by wenzelm:
support for type Boolean;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65010:a27e9908dcf7 by wenzelm:
clarified signature;<br>tuned toString;
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 65009:eda9366bbfac by wenzelm:
remote database access via ssh port forwarding;
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 65008:ed2eedf786f3 by wenzelm:
clarified handling of SQL.Type;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65007:b6a1a1d42f5d by wenzelm:
clarified toString;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65006:632bdf7b8bab by wenzelm:
clarified modules;
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/General/postgresql.scala
The file was removedsrc/Pure/General/sql_database.scala
The file was removedsrc/Pure/General/sqlite.scala