HomeIsabelle/Phabricator

Update compiler version to 5.8.2 so that we pick up the correct files on…

Description

Update compiler version to 5.8.2 so that we pick up the correct files on bootstap.

Details

Provenance
dcjmAuthored on Jul 21 2020, 9:35 AM
Parents
rPOLYML183f259793cf: Merge branch 'master' into CompileForeignCall
Branches
Unknown
Tags
Unknown