HomeIsabelle/Phabricator

Add a define to indicate building for the interpreter and don't want the…

Description

Add a define to indicate building for the interpreter and don't want the interpreted code to be executable.

Details

Provenance
dcjmAuthored on Oct 19 2020, 5:41 PM
Parents
rPOLYML2eed06577510: Change threadId argument to FirstArgument. These were merged after the change…
Branches
Unknown
Tags
Unknown