[Top][All Lists]
[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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gcl-devel] Re: thanks for the help,
Camm Maguire <=