gcl-devel
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] Re: ACL2 Version 4.0

From: Camm Maguire
Subject: Re: [Gcl-devel] Re: ACL2 Version 4.0
Date: Tue, 27 Jul 2010 13:16:41 -0400
User-agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux) 
Greetings! OK you can try a cvs update now and a rebuild.  I think the
new rsym_macosx.c should work on all macs.

Please let me know if problems persist.

Take care,

-- 
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]