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> 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?
>         Makarius

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 MHonArc.