Re: [Gcl-devel] address@hidden: magnus and axiom questions]

[Camm Maguire]

Greetings, and thanks!  Turns out my test box does indeed now run
FC3.  I've verified and posted a fix for the problem.  Did you happen
to see that?  The ACL2 people have also verified the fix.  Will place
on the errata page shortly.

Take care,

root <address@hidden> writes:

> Camm,
> 
> I'm not sure how you can tell the various FC* boxes apart.
> However for FC3 GCL 2.6.5 is known not to work. 
> Perhaps that's a good test :-)
> 
> Seriously, you'd think someone would write this down somewhere.
> I'm a fedora developer. I'll complain about it.
> 
> Tim
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah