[Top][All Lists]
[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
- Re: P.S. to address@hidden: Re: [Gcl-devel] Re: ACL2 Version 2.7 release],
Camm Maguire <=