[isabelle] bash on Windows 10



Hi there,

Microsoft brings bash to Windows 10:

http://techcrunch.com/2016/03/30/be-very-afraid-hell-has-frozen-over-bash-is-coming-to-windows-10/

Could this be used instead of cygwin for Isabelle?

- Gergely



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