HomeIsabelle/Phabricator

Remove reference to libffi sub-project.

Description

Remove reference to libffi sub-project.

Details

Provenance
dcjmAuthored on Oct 23 2020, 6:25 PM
Parents
rPOLYMLcdb556438d1a: Move DEBUGSIG.ML into DEBUG.sig and change the name.
Branches
Unknown
Tags
Unknown