Diffusion Isabelle 890783dc4bc6

tuned signature;
890783dc4bc6
Actions

Tags

None

Subscribers

None

Description

tuned signature;

Details

Provenance

Authored on

Parents

rISABELLEa2de1f6ff94e: support for "cluster" table with "hosts" array, and params/options as for…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE890783dc4bc6: tuned signature;.Sun, Nov 12, 10:34 PM

Changes (2)

Path

Size

src/

Pure/

System/

Tools/

build_cluster.scala

rISABELLE890783dc4bc6

src/Pure/System/registry.scala

Loading...

src/Pure/Tools/build_cluster.scala

Loading...