[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Camm Maguire
Subject: Re: [Gcl-devel] address@hidden: Re: gcl/acl2]
Date: 18 Nov 2002 23:28:18 -0500

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]