clarified protocol: ML worker thread blocks and awaits result from Scala, to avoid excessive replacement threads;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE510ebf846696: more documentation;
- Branches
- Unknown
- Tags