Diffusion Isabelle 81dab48582c6

clarified modules;
81dab48582c6
Actions

Tags

None

Subscribers

None

Description

clarified modules;

Details

Provenance

Authored on

Parents

rISABELLEd305af09fbad: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE81dab48582c6: clarified modules;.Tue, Nov 7, 3:59 PM

Changes (2)

Path

Size

src/

Pure/

System/

Tools/

build_cluster.scala

rISABELLE81dab48582c6

src/Pure/System/options.scala

Loading...

src/Pure/Tools/build_cluster.scala

Loading...