--- Begin Message ---
Subject: |
ACL2s mailing lists & new version |
Date: |
Fri, 14 Apr 2006 17:22:35 -0400 |
User-agent: |
Mutt/1.4.1i |
We have dubbed our Eclipse plug-in and ACL2 modifications "ACL2s" (for
"ACL2 Sedan"). More information is available on the web page:
http://naxos.cc.gt.atl.ga.us/acl2s/
We have also created some mailing lists specifically for this tool, so
that we don't have to spam official ACL2 lists with ACL2s-specific
topics or use ad-hoc collections of email addresses: (some of you
have been pre-added to both subscribable lists and some to just
acl2s-announce; you have recieved a welcome messages for lists you
have been pre-subscribed to)
* https://mailman.cc.gatech.edu/mailman/listinfo/acl2s-announce
- Subscribe if you want to recieve announcements about new
versions/features, etc. (Major announcements will continue to be
sent to acl2 lists.)
* https://mailman.cc.gatech.edu/mailman/listinfo/acl2s-help
- Subscribe if you want to read and/or contribute to discussions
about ACL2s problems or design philosophies, etc.
* address@hidden
- Destination for bug info, feature requests, or general comments.
Goes to the authors only (for now, me & Pete Manolios)
For those interested, a new version has been released (plugin 0.4.1,
hooks 2.9.4-4), which includes Daron's latest CCG termination
analysis, some code cleanup and bug fixes.
--
Peter Dillinger | "Whatever you do will be insignificant, but it is
address@hidden | very important that you do it."
http://www.peterd.org | - Mohandas "Mahatma" Gandhi
--- End Message ---