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

[Matt Kaufmann]

Hi, Camm --

Sorry I haven't gotten to it yet!  Actually I did take a quick look a few days
ago and it looked like you'd made some improvements to the emacs interface and
infix printing (neither of which I've looked at in a long time) -- thanks!  But
I think I can find time to take a proper look on Sunday and get back to you
then.

-- Matt
   cc: address@hidden
   From: Camm Maguire <address@hidden>
   Date: 06 Nov 2003 19:07:12 -0500
   User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
   Content-Type: text/plain; charset=us-ascii

   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