Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2021-1 on Windows 11


view this post on Zulip Email Gateway (Nov 02 2021 at 12:22):

From: Makarius <makarius@sketis.net>
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


Last updated: Mar 29 2024 at 04:18 UTC