| 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: http://www.ccs.neu.edu/home/cce/acl2/index.html -- Carl Eastlund
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}