[isabelle] Isabelle2021-1 on Windows 11



Dear Makarius,

Upon consulting the "Installation" web page for the current Isabelle2021-1 release candidate (https://isabelle.sketis.net/website-Isabelle2021-1-RC1/installation.html), I have noticed that Windows 11 is not mentioned among the supported operating systems yet. Is Windows 11 going to be eventually supported by the final Isabelle2021-1 release?

Thank you very much, best regards,
Pasquale Noce





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.