|
| From: | Aurelien Chanudet |
| Subject: | [Gcl-devel] Re: Can't build ACL2 using GCL under Mac OS X 3.3 |
| Date: | Mon, 24 May 2004 08:57:53 +0200 (CEST) |
> Is your saved_gcl runnable on John's system?
I guess so. John, would you be willing to carry out
this test ? Would it be ok for me to put the saved_gcl
runnable somewhere on a web site for you to pick it up
?
Aurelien
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] |