Diffusion Isabelle 3f02bc5a5a03

more accurate treatment of errors;
3f02bc5a5a03
Actions

Tags

None

Subscribers

None

Description

more accurate treatment of errors;

Details

Provenance

Authored on

Parents

rISABELLE50425e4c3910: clarified modules: global quasi-scope for markers;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3f02bc5a5a03: more accurate treatment of errors;.Mar 30 2020, 7:39 PM

makarius mentioned this in rISABELLE45c2b8cf1b26: more robust message_context and shutdown, e.g. after errors in protocol loop….Apr 1 2020, 11:17 PM

Changes (6)

Path

Size

src/

Pure/

PIDE/

protocol_message.scala

System/

command_line.ML

isabelle_process.ML

process_result.scala

Tools/

rISABELLE3f02bc5a5a03

src/Pure/PIDE/protocol_message.scala

Loading...

src/Pure/System/command_line.ML

Loading...

src/Pure/System/isabelle_process.ML

Loading...

src/Pure/System/process_result.scala

Loading...

src/Pure/Tools/build.ML

Loading...

src/Pure/Tools/build.scala

Loading...