|
| From: | Aurelien Chanudet |
| Subject: | Re: [Gcl-devel] Re: Compilation of ACL2 using GCL on Mac OS X |
| Date: | Mon, 26 Apr 2004 09:16:38 +0200 (CEST) |
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
| [Prev in Thread] | Current Thread | [Next in Thread] |