[plt-scheme] Dracula version 2.5

From: Carl Eastlund (cce at ccs.neu.edu)
Date: Thu Feb 21 14:53:07 EST 2008

Dracula, the PLT Scheme interface to ACL2, has just been updated to
version 2.5.  This is a bug fix release, including updates to the
audio and DoubleCheck teachpacks, restored self-quoting keyword
symbols, and proper recognition of the ACL2(r) command prompt.
Dracula is compatible with DrScheme versions 371-372 and ACL2 versions
3.1-3.2.  For more information, please refer to:


Carl Eastlund

Posted on the users mailing list.