gcl-devel
[Top][All Lists]
Advanced

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

[Gcl-devel] Re: Windows Installer for ACL2 Version 3.1


From: Camm Maguire
Subject: [Gcl-devel] Re: Windows Installer for ACL2 Version 3.1
Date: 08 Dec 2006 17:30:59 -0500
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Hi Matt!

Would either of these two fine individuals consider volunteering for a
modest role in GCL windows maintenance?  Due to the retirement of one
of our existing developers, I am in need of some familiar with the
platform who can run a few tests, test patches on occasion, and report
problems. 

Take care,

Matt Kaufmann <address@hidden> writes:

> Hi --
> 
> Alex Spiridonov, with assistance from Jared Davis, has been kind
> enough to create a Windows Installer for the recently-released new
> version of ACL2 (Version 3.1).  You can find a link to it by following
> the "Recent Changes" or "Obtaining and Installing" links on the ACL2
> home page, or by going directly to:
> 
> http://www.cs.utexas.edu/users/moore/acl2/v3-1/distrib/windows/
> 
> -- 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]