HomeIsabelle/Phabricator

allow Scala function execution on separate thread: better reactivity, but…

Description

allow Scala function execution on separate thread: better reactivity, but potential overloading of the JVM;

Details

Provenance
makariusAuthored on
Parents
rISABELLE850ba6d47300: clarified default (see also 0c7a74a1c6d9);
Branches
Unknown
Tags
Unknown