HomeIsabelle/Phabricator

misc tuning and clarification;

Description

misc tuning and clarification;
proper shutdown_hook;

Details

Provenance
makariusAuthored on
Parents
rISABELLEa64f3496d93a: clarified signature;
Branches
Unknown
Tags
Unknown