HomeIsabelle/Phabricator

Update the version to 5.8.3. The addition of compilerDebugTag requires a new…

Description

Update the version to 5.8.3. The addition of compilerDebugTag requires a new version number to allow FinalPolyML to compile.

Details

Provenance
dcjmAuthored on Jan 28 2021, 7:50 PM
Parents
rPOLYMLa60c7b350ced: Introduce registers. Start to generate code in the code-generator.
Branches
Unknown
Tags
Unknown