[plt-scheme] Announce: DrScheme & ACL2 project

[Dale Vaillancourt]

We are pleased to announce the first public release [beta 7] of ACL2  
in DrScheme, a combination of the ACL2 theorem prover system with the  
DrScheme programming environment.  The objective of this project is  
to provide a development environment for ACL2 suitable for novice  
users as well as enhancements of ACL2 that are  attractive for the  
typical undergraduate student (graphics, interactive games, sound).

For more information, installation instructions, and sample code  
please check out the project web site:

  http://www.ccs.neu.edu/home/dalev/acl2-drscheme/

All comments, suggestions for enhancements, bug reports, etc. are  
welcome!

Cheers,

Dale Vaillancourt
Rex Page
Matthias Felleisen