[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 :
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




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