HomeIsabelle/Phabricator

Change project file for interpreted version in a similar way to the X86 version.

Description

Change project file for interpreted version in a similar way to the X86 version.

Details

Provenance
dcjmAuthored on Fri, Oct 2, 8:56 AM
Parents
rPOLYML5c236baed87f: Change markers for documentation comments.
Branches
Unknown
Tags
Unknown