[plt-scheme] Dracula 7.1 release

From: Carl Eastlund (cce at ccs.neu.edu)
Date: Sat Jan 17 12:45:01 EST 2009

I have just released version 7.1 of Dracula, the ACL2 language level
for DrScheme.  This version includes four primary improvements over
version 6.0:

- A complete overhaul of the graphical user interface.
- Two separate manuals: a Guide introducing the primary features and a
Reference manual for technical details.
- Improved compatibility with ACL2.  Dracula is no longer limited to
specific distributions.
- A revamped Modular ACL2 language, now fully documented and
integrated with the theorem prover interface.

Details on obtaining and installing Dracula can be found here:

An online copy of the Guide can be found here:

An online copy of the Reference can be found here:

At the moment, online copies of the documentation are browseable, but
some cross-references and search features are disabled.  The Dracula
package includes an offline copy of the documentation, including
working links and search functionality.

Thanks to Sky O'Mara and Ken McGrady for their contributions to the
new user interface and documentation.

Carl Eastlund

Posted on the users mailing list.