allow Scala function execution on separate thread: better reactivity, but potential overloading of the JVM;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE850ba6d47300: clarified default (see also 0c7a74a1c6d9);
- Branches
- Unknown
- Tags