HomeIsabelle/Phabricator

Add projects for interpreted 32-in-64. Include references to the bootstrap…

Description

Add projects for interpreted 32-in-64. Include references to the bootstrap files although they are not included in the commit.

Details

Provenance
dcjmAuthored on Oct 24 2020, 9:43 AM
Parents
rPOLYML255b76492395: Add architecture and word length information to the portable export file.
Branches
Unknown
Tags
Unknown