Re: [isabelle] (Unexpected) Problems with isabelle make on Windows/Cygwin
Well, I am using W7 and it does not look that Avast is complaining about
anything (this time).
On Wed, Oct 10, 2012 at 10:06 AM, Makarius <makarius at sketis.net> wrote:
> 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?
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Coordenador do Curso de Ciência da Computação
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil
This archive was generated by a fusion of
Pipermail (Mailman edition) and