Re: [isabelle] (Unexpected) Problems with isabelle make on Windows/Cygwin



On Wed, 10 Oct 2012, Alfio Martini wrote:

Anyway I do not have any other Cygwin installation and I am using the Cygwin terminal from the Isabelle bundle (as I always did).

Which is your version of Windows?

Could this be another incident of the virus checker deleting some .exe files that it does not like?


	Makarius






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