HomeIsabelle/Phabricator

Simplify the building options now that there are only two bootstrap files.

Description

Simplify the building options now that there are only two bootstrap files.

Details

Provenance
dcjmAuthored on Nov 6 2020, 5:08 PM
Parents
rPOLYML219d8b8db2cc: Fix defines to select assembly code only on X86.
Branches
Unknown
Tags
Unknown