Diffusion Isabelle 91817b2f3f55

more robust wrt. undefined state;
91817b2f3f55
Actions

Tags

None

Subscribers

None

Description

more robust wrt. undefined state;

Details

Provenance

Authored on

Parents

rISABELLE14da1177d1c3: more informative error;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE91817b2f3f55: more robust wrt. undefined state;.Aug 10 2023, 7:48 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLE91817b2f3f55

src/Pure/Tools/build_process.scala

Loading...