HomeIsabelle/Phabricator

Add architecture and word length information to the portable export file.

Description

Add architecture and word length information to the portable export file.

Details

Provenance
dcjmAuthored on Oct 24 2020, 8:57 AM
Parents
rPOLYML61b03da5a89c: Add code to insert enter-interpreter instructions if we are bootstrapping.
Branches
Unknown
Tags
Unknown