Re: [isabelle] Isabelle2021-1 on Windows 11

On 02/11/2021 12:40, Pasquale Noce wrote:
> Dear Makarius,
> Upon consulting the "Installation" web page for the current Isabelle2021-1
> release candidate
> (, 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?

I don't know if there is anything special about Windows 11, because I can't
test it due to lack of hardware that MicroSoft wants to see here.

If anybody can confirm that it works, I will update the website accordingly.


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