Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. timestamp string format for SQLite;
  2. support for type Date;
  3. tuned;
  4. tuned;
  5. support for type Boolean;
  6. clarified signature; tuned toString;
  7. remote database access via ssh port forwarding;
  8. clarified handling of SQL.Type;
  9. clarified toString;
  10. clarified modules;
  11. only intercept regular exceptions
Changeset 65015:c22e092b39e9 by wenzelm:
timestamp string format for SQLite;
The file was modified src/Pure/General/date.scala (diff)
Changeset 65014:97a622d01609 by wenzelm:
support for type Date;
The file was modified src/Pure/General/date.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 65013:86308845aa43 by wenzelm:
tuned;
The file was modified src/Pure/General/sql.scala (diff)
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
Changeset 65005:3278831c226d by haftmann:
only intercept regular exceptions
The file was modified src/Tools/Code/code_runtime.ML (diff)