[Top][All Lists]

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

[Axiom-developer] Re: [Gcl-devel] address@hidden: magnus and axiom quest

From: Camm Maguire
Subject: [Axiom-developer] Re: [Gcl-devel] address@hidden: magnus and axiom questions]
Date: 13 Jan 2005 15:28:42 -0500
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

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

reply via email to

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