[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