[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] ACL2 Version 2.7 release
From: |
Matt Kaufmann |
Subject: |
[Gcl-devel] ACL2 Version 2.7 release |
Date: |
Sun, 17 Nov 2002 22:57:56 -0600 (CST) |
Hi --
Regarding the recent emails about creating a Debian package for ACL2 (thanks
again, Camm, and also Mike T. for your recent email):
J Moore and I hav just released ACL2 Version 2.7. The ACL2 home page
(http://www.cs.utexas.edu/users/moore/acl2/) now points to the new version.
The previous version (2.6) is accessible from there via a link.
-- Matt
- [Gcl-devel] ACL2 Version 2.7 release,
Matt Kaufmann <=