Diffusion Isabelle 5ccf921a2c3d

support multiple host names;
5ccf921a2c3d
Actions

Tags

None

Subscribers

None

Description

support multiple host names;

Details

Provenance

Authored on

Parents

rISABELLEa945b541efff: clarified default options: SQLite build_database is unsupported for…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5ccf921a2c3d: support multiple host names;.Aug 25 2023, 8:08 PM

Changes (2)

Path

Size

src/

Pure/

Tools/

build_cluster.scala

rISABELLE5ccf921a2c3d

src/Pure/Tools/build.scala

Loading...

src/Pure/Tools/build_cluster.scala

Loading...