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