HomeIsabelle/Phabricator

Remove a piece of debugging code that includes PolyML.makestring. This seems…

Description

Remove a piece of debugging code that includes PolyML.makestring. This seems to include interpreted code in the final executable.

Details

Provenance
dcjmAuthored on Dec 24 2021, 8:45 AM
Parents
rPOLYML2e08c5719b1f: Fix typo in version string.
Branches
Unknown
Tags
Unknown