<html>

<head>

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

</head>

<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">

<a href="https://foss.heptapod.net/isa-afp/afp-2025-1">https://foss.heptapod.net/isa-afp/afp-2025-1</a> is now available for testing against Isabelle release candidates.

<div><br>

</div>

<div>Please don’t push anything to afp-2025-1 before coordinating with me.</div>

<div><br>

</div>

<div>Cheers,</div>

<div>Gerwin</div>

<div><br>

</div>

<br>

<p style="font-family: Arial, sans-serif; font-size:8pt;"><em>This email and any files transmitted with it may contain confidential information. If you believe you have received this email or any of its contents in error, please notify me immediately by return

 email and destroy this email. Do not use, disseminate, forward, print or copy any contents of an email received in error.</em></p>

<br>

</body>

</html>