HomeIsabelle/Phabricator

Note a problem with clearing before exporting. The exported version of a saved…

Description

Note a problem with clearing before exporting. The exported version of a saved state is used as the local copy.

Details

Provenance
dcjmAuthored on Oct 15 2020, 6:43 PM
Parents
rPOLYML3fdba2e620c4: Use volatile refs explicitly. Convert OS.Process.atExit to use them so that it…
Branches
Unknown
Tags
Unknown