Diffusion Isabelle 164a21e5d568

support specific connection types, for additional operations;
164a21e5d568
Actions

Tags

None

Subscribers

None

Description

support specific connection types, for additional operations;

Details

Provenance

Authored on

Parents

rISABELLEd0151eb9ecb0: more correct and complete bibliography;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE164a21e5d568: support specific connection types, for additional operations;.Jan 22 2023, 8:40 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE164a21e5d568

src/Pure/General/sql.scala

Loading...