HomeIsabelle/Phabricator

support for monitoring of external ML process;

Authored by makarius.

Description

support for monitoring of external ML process;

Details

Committed
makariusWed, Jul 15, 12:04 PM
Parents
rISABELLE452073b64f28: clarified signature;
Branches
Unknown
Tags
Unknown