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

[Camm Maguire]

Greetings!

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
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
> 
> 
> 

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