Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Install Isabelle under Windows (with Cygwin)

view this post on Zulip Email Gateway (Aug 18 2022 at 19:18):

From: Abdullah <mr.ab15@gmail.com>
Hi all

I tried to install the Isabelle under Windows, however, I failed I have
followed the installation the the websit :
http://www.cl.cam.ac.uk/research/hvg/isabelle/download.html.

May, I ask you to more explanation about the installation the isabelle
under the windows please.

Best Regards,
Abdul

view this post on Zulip Email Gateway (Aug 18 2022 at 19:18):

From: Makarius <makarius@sketis.net>
At which point did you fail? Did you manage to open a Cygwin terminal
window? Did you see the Unix shell prompt where you can invoke commands
like "tar", or "Isabelle2011-1/bin/isabelle" from the Isabelle
distribution?

Makarius

Last updated: Apr 26 2024 at 16:20 UTC