Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. more portable: prefer official JDBC operation DatabaseMetaData.getColumns();
  2. tuned signature;
Changeset 80083:e2174bf626b8 by wenzelm:
more portable: prefer official JDBC operation DatabaseMetaData.getColumns();
The file was modified src/Pure/Admin/build_log.scala
The file was modified src/Pure/General/sql.scala
Changeset 80082:4f9e4527a4e3 by wenzelm:
tuned signature;
The file was modified src/Pure/General/sql.scala