HomeIsabelle/Phabricator

Avoid locking when testing for interrupts in the interpreter.

Description

Avoid locking when testing for interrupts in the interpreter.

Details

Provenance
dcjmAuthored on Nov 7 2020, 7:04 PM
Parents
rPOLYML4ccc98296c4b: Remove some debugging code.
Branches
Unknown
Tags
Unknown