HomeIsabelle/Phabricator

Modify old Foreign structure to take account of changes made in OS.

Description

Modify old Foreign structure to take account of changes made in OS.

Details

Provenance
dcjmAuthored on Apr 30 2019, 4:13 PM
Parents
rPOLYML6f37e47883ba: Merge branch 'PollChangesAgain' into CompileForeignCall
Branches
Unknown
Tags
Unknown