[Top][All Lists]
[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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gcl-devel] Re: Windows Installer for ACL2 Version 3.1,
Camm Maguire <=