Diffusion Isabelle 3645442be6d5

proper option;
3645442be6d5
Actions

Tags

None

Subscribers

None

Description

proper option;

Details

Provenance

Authored on

Parents

rISABELLEaaf2cf463e9a: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3645442be6d5: proper option;.Nov 3 2023, 7:10 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLE3645442be6d5

src/Pure/Tools/build_process.scala

Loading...