[Top][All Lists]

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

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

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


root <address@hidden> writes:

> yep. i saw your fix (i'm also on the acl2 mailing list)
> (note to self: get on gcl-devel).
> i now have 2 fixes to apply, one to cmpnew/gcl_cmpmain and
> one to h/386-linux.h

Is the first one the windows space-in-pathname issue?  Does the fix
work?  If so it too will go on the errata.

Take care,

> t
> _______________________________________________
> Axiom-developer mailing list
> address@hidden

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]