HomeIsabelle/Phabricator

Move the creation of the atExit list up to LibrarySupport so that it can be…

Description

Move the creation of the atExit list up to LibrarySupport so that it can be used in Foreign.

Details

Provenance
dcjmAuthored on Oct 17 2020, 8:57 AM
Parents
rPOLYMLe4ca9570364c: Merge branch 'VolatileRef' into CompiledFFITesting
Branches
Unknown
Tags
Unknown