gcl-devel
[Top][All Lists]
Advanced

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

Re: P.S. to address@hidden: Re: [Gcl-devel] Re: ACL2 Version 2.7 release


From: Camm Maguire
Subject: Re: P.S. to address@hidden: Re: [Gcl-devel] Re: ACL2 Version 2.7 release]
Date: 06 Nov 2003 19:07:12 -0500
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Hi Matt!  Just wanted to ask again for your feedback if any on the new
acl2 Debian package before I release it.

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]