HomeIsabelle/Phabricator

Change format of code area to allow for the possibility of splitting the…

Description

Change format of code area to allow for the possibility of splitting the constant area out.

Details

Provenance
dcjmAuthored on Nov 1 2020, 4:36 PM
Parents
rPOLYML7316a6d0ac75: Re-enable support for 32-in-64 in the interpreter.
Branches
Unknown
Tags
Unknown