HomeIsabelle/Phabricator

more robust build_session protocol: allow prover process to terminate/crash…

Authored by makarius.

Description

more robust build_session protocol: allow prover process to terminate/crash without build_session_finished message;

Details

Committed
makariusFri, Jul 10, 9:23 PM
Parents
rISABELLE913162a47d9f: Update Metis to 2.4
Branches
Unknown
Tags
Unknown