Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Testing Windows 11

view this post on Zulip Email Gateway (Oct 18 2022 at 14:01):

From: Makarius <makarius@sketis.net>
Would you say that Isabelle2022-RC3 / RC4 work properly on Windows 11?

I don't have a proper test machine for that, but still claim on the Isabelle
download area that it is support.

Makarius

view this post on Zulip Email Gateway (Oct 18 2022 at 16:53):

From: Dominique Unruh <cl-isabelle-users@lists.cam.ac.uk>
I haven't done very thorough testing, but basic Isabelle-use seems to
work fine (editing theories in jEdit, sledgehammer). I have not noticed
any glitches.

Best wishes,
Dominique.

view this post on Zulip Email Gateway (Oct 26 2022 at 14:58):

From: Makarius <makarius@sketis.net>
Thanks for testing. I can confirm this with official Isabelle2022: MicroSoft
has now offered a free update of one of my older Windows 10 test machines.

Conclusion: Windows 11 works smoothly, and looks a bit more like macOS now.

Makarius

Last updated: Jan 04 2025 at 20:18 UTC