Email Gateway (Aug 17 2022 at 13:45): Email Gateway (Aug 17 2022 at 13:45):From: Jeremy Dawson <Jeremy.Dawson@rsise.anu.edu.au>
I have recently installed a new version of PolyML (necessary to run an a
new release of Linux we have here).
Isabelle can't seem to cope with the difference between the layout of
PolyML 4.1.3 and that of PolyML 4.2
How to I tell Isabelle where to find PolyML?
Jeremy
Last updated: May 03 2024 at 04:19 UTC