Email Gateway (Nov 03 2021 at 10:02): Email Gateway (Nov 03 2021 at 10:02):From: Pasquale Noce <pasquale.noce.lavoro@gmail.com>
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
Last updated: Jul 15 2022 at 23:21 UTC