[isabelle] Install Isabelle under Windows (with Cygwin)

Hi all

I tried to install the Isabelle under Windows, however, I failed I have
followed the installation the the websit :

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

Best Regards,

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