Diffusion Isabelle 2f09dc0e6dda

support IPC via database server;
2f09dc0e6dda
Actions

Tags

None

Subscribers

None

Description

support IPC via database server;

Details

Provenance

Authored on

Parents

rISABELLE7b5b1789a34c: proper signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2f09dc0e6dda: support IPC via database server;.Jan 22 2023, 9:22 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE2f09dc0e6dda

src/Pure/General/sql.scala

Loading...