[Top][All Lists]

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

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

From: Camm Maguire
Subject: Re: [Gcl-devel] Re: Compilation of ACL2 using GCL on Mac OS X
Date: 28 Apr 2004 11:24:05 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

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

reply via email to

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