allow to break running threads at next possible breakpoint (simplified version of former option, see f3039309702e);
session Spec_Check in Spec_Check = Pure +
theories
Spec_Check
theories [condition = ML_SYSTEM_POLYML]
Examples
session SML in SML = Pure +
options [condition = ML_SYSTEM_POLYML]
theories
Examples