Diffusion Isabelle b0a4f8c29446

clarified exported options;
b0a4f8c29446
Actions

Tags

None

Subscribers

None

Description

clarified exported options;

Details

Provenance

Authored on

Parents

rISABELLEbc1248c5d159: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb0a4f8c29446: clarified exported options;.Mar 11 2023, 11:31 AM

Changes (3)

Path

Size

etc/

src/

Pure/

System/

Tools/

build_process.scala

rISABELLEb0a4f8c29446

etc/options

Loading...

src/Pure/System/options.scala

Loading...

src/Pure/Tools/build_process.scala

Loading...