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

Cheers

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