gcl-devel
[Top][All Lists]
Advanced

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

[Gcl-devel] Re: thanks for the help


From: Camm Maguire
Subject: [Gcl-devel] Re: thanks for the help
Date: 04 Dec 2006 14:23:26 -0500
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings, and thanks Matt!  Uploading to Debian now.

Take care,

Matt Kaufmann <address@hidden> writes:

> Hi Dave, Peter, and Camm --
> 
> Now that ACL2 3.1 is ready, you can discard the preliminary copies I
> gave you and fetch the final copy from the ACL2 home page (which is
> very, very similar but not quite identical).
> 
> Camm, the file for the Debian watch script is in place.  Please feel
> free to announce an ACL2 3.1 Debian GCL release if you care to produce
> one!
> 
> Thanks for all y'all's help!
> -- Matt
> 
> 
> 

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