Re: [Gcl-devel] address@hidden: Re: gcl/acl2]

[Mike Thomas]

Hi Camm.

The commit of about two hours ago.

I have no idea how anyone was able to avoid the problem on Windows with CVS
as it stood until that commit - maybe some other change produced a positive
interaction at some stage.

Cheers

Mike Thomas.



----- Original Message -----
From: "Camm Maguire" <address@hidden>
To: "Mike Thomas" <address@hidden>
Cc: "Matt Kaufmann" <address@hidden>; <address@hidden>;
<address@hidden>; <address@hidden>;
<address@hidden>
Sent: Tuesday, November 19, 2002 2:28 PM
Subject: Re: [Gcl-devel] address@hidden: Re: gcl/acl2]


> Hi Mike!  This is great to hear.  Any idea of which commit since your
> last binary did the trick?
>
> Take care,
>
>
> "Mike Thomas" <address@hidden> writes:
>
> > Hi Matt et al.
> >
> > That's fixed in CVS now.
> >
> > ACL2 looks like a great piece of work, by the way.
> >
> > Cheers
> >
> > Mike Thomas
> >
>
> --
> Camm Maguire      address@hidden
> ==========================================================================
> "The earth is but one country, and mankind its citizens."  --  Baha'u'llah
>