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

[Camm Maguire]

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