Diffusion Isabelle 3e121f999120

clarified signature: more direct Isabelle_Process.EXIT;
3e121f999120
Actions

Tags

None

Subscribers

None

Description

clarified signature: more direct Isabelle_Process.EXIT;

Details

Provenance

Authored on

Parents

rISABELLEdad29591645a: proper arguments of protocol function;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3e121f999120: clarified signature: more direct Isabelle_Process.EXIT;.Apr 2 2020, 12:49 PM

Changes (3)

Path

Size

src/

Pure/

System/

command_line.ML

isabelle_process.ML

Tools/

rISABELLE3e121f999120

src/Pure/System/command_line.ML

Loading...

src/Pure/System/isabelle_process.ML

Loading...

src/Pure/Tools/build.ML

Loading...