Diffusion Isabelle ffd8283b7be0

support for database connection;
ffd8283b7be0
Actions

Tags

None

Subscribers

None

Description

support for database connection;

Details

Provenance

Authored on

Parents

rISABELLE659305708959: clarified treatment of default port;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLE3e5a61d9f46a: proper ssh_port (amending ffd8283b7be0);.Jan 2 2021, 11:31 PM

Changes (2)

Path

Size

etc/

src/

Pure/

Admin/

build_log.scala

rISABELLEffd8283b7be0

etc/options

Loading...

src/Pure/Admin/build_log.scala

Loading...