HomeIsabelle/Phabricator

more robust scheduler shutdown, notably for spurious crashes;

Authored by makarius.

Description

more robust scheduler shutdown, notably for spurious crashes;

Details

Committed
makariusWed, Jul 29, 2:23 PM
Parents
rISABELLE1d6c3cba47fe: unclear why I ever asked for type tree2
Branches
Unknown
Tags
Unknown