HomeIsabelle/Phabricator

clarified protocol: ML worker thread blocks and awaits result from Scala, to…