Diffusion Isabelle edc96be6b939

explicit locking for PostgreSQL --- neither available nor required for SQLite;
edc96be6b939
Actions

Tags

None

Subscribers

None

Description

explicit locking for PostgreSQL --- neither available nor required for SQLite;

Details

Provenance

Authored on

Parents

rISABELLE46a033c4701b: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEedc96be6b939: explicit locking for PostgreSQL --- neither available nor required for SQLite;.Mar 8 2023, 10:08 PM

Changes (2)

Path

Size

src/

Pure/

General/

Tools/

build_process.scala

rISABELLEedc96be6b939

src/Pure/General/sql.scala

Loading...

src/Pure/Tools/build_process.scala

Loading...