HomeIsabelle/Phabricator

Add code to insert enter-interpreter instructions if we are bootstrapping.

Description

Add code to insert enter-interpreter instructions if we are bootstrapping.

Details

Provenance
dcjmAuthored on Oct 23 2020, 6:42 PM
Parents
rPOLYML9affccb15acb: Remove reference to libffi sub-project.
Branches
Unknown
Tags
Unknown