Greetings, and thanks Matt! Uploading to Debian now. Take care,
Matt Kaufmann <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
