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
> (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?

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.


	Makarius




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