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 <[EMAIL PROTECTED]> 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                                            [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

Reply via email to