Diffusion Isabelle ec6a27bbdab8

proper return code for more errors (amending d892f6d66402);
ec6a27bbdab8
Actions

Tags

None

Subscribers

None

Description

proper return code for more errors (amending d892f6d66402);

Details

Provenance

Authored on

Parents

rISABELLE27d9aa2a4010: more exports, as in "isabelle dump";

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEec6a27bbdab8: proper return code for more errors (amending d892f6d66402);.Nov 26 2020, 4:51 PM

Changes (2)

Path

Size

src/

Pure/

System/

process_result.scala

Tools/

build_job.scala

rISABELLEec6a27bbdab8

src/Pure/System/process_result.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...