Hello,
In light of recent discussions on this list, here is an announcement
that might interest some axiom-developer@ readers. Some researchers have
written an Eclispe's plugin for ACL2. ACL2 is a proof assistant written
in Common Lisp. This package could show interested people :
- how to integrate Common Lisp written software into Eclipse;
- how to use Eclipse capabilities to enhance the Common Lisp software.
I'm personally not interested in Eclipse so I won't look further at this
software.
Best wishes,
d.
--- Begin Message ---
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.
* [EMAIL PROTECTED]
- 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
[EMAIL PROTECTED] | very important that you do it."
http://www.peterd.org | - Mohandas "Mahatma" Gandhi
--- End Message ---
--
pub 1024D/A3AD7A2A 2004-10-03 David MENTRE <[EMAIL PROTECTED]>
5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
