
<html xmlns="http://www.w3.org/1999/xhtml">


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


<title></title>


</head>


<body>


<div name="messageBodySection">


<div dir="auto">On my M2 MacBook Pro, I’m getting<br>


<br>


I/O error: /Users/lp15/.isabelle/contrib/polyml-5.9.2/x86_64_32-darwin/poly (No such file or directory)<br>


<br>


And of course the x86 version isn’t the one I should be needing anyway.<br>


<br>


<span style="color:#000000;background-color:#c4eeff;font-family:Consolas">f08c8e96a2b4</span></div>


</div>


<div name="messageSignatureSection"><br>


<div class="matchFont">Larry</div>


</div>


</body>


</html>