Diffusion Isabelle e2174bf626b8

more portable: prefer official JDBC operation DatabaseMetaData.getColumns();
e2174bf626b8
Actions

Tags

None

Subscribers

None

Description

more portable: prefer official JDBC operation DatabaseMetaData.getColumns();

Details

Provenance

Authored on

Parents

rISABELLE4f9e4527a4e3: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe2174bf626b8: more portable: prefer official JDBC operation DatabaseMetaData.getColumns();.Apr 4 2024, 11:40 AM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_log.scala

General/

rISABELLEe2174bf626b8

src/Pure/Admin/build_log.scala

Loading...

src/Pure/General/sql.scala

Loading...