Re: [Gcl-devel] Re: Compilation of ACL2 using GCL on Mac OS X

[Camm Maguire]

Greetings!  Looks good to me too.  Congratulations to Aurelien on his
new employment!

Take care,

Aurelien Chanudet <address@hidden> writes:

> This looks perfect to me.
> 
> Sorry for the delay replying : I'm now working "for
> good" and have much less leisure time, meaning less
> time to devote to gcl.
> 
> Aurelien
> 
> 
>       
> 
>       
>               
> Yahoo! Mail : votre e-mail personnel et gratuit qui vous suit partout ! 
> Créez votre Yahoo! Mail sur http://fr.benefits.yahoo.com/
> 
> Dialoguez en direct avec vos amis grâce à Yahoo! Messenger !Téléchargez 
> Yahoo! Messenger sur http://fr.messenger.yahoo.com
> 
> 
> 

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