[plt-scheme] Dracula: leaner and faster in time for Halloween

From: Carl Eastlund (cce at ccs.neu.edu)
Date: Mon Oct 29 16:19:03 EDT 2007

Version 2.1 of Dracula, the ACL2 language and theorem prover interface
for DrScheme, is now available via Planet.  Dracula 2.x supports the
same language as 1.x, but due to some internal reimplementation should
run faster than previous versions.

There may be new bugs in version 2.1.  If you find any, please report
them; if you need a reliable version of Dracula, consider sticking
with version 1.8 until the updates have time to stabilize.  Skip
version 2.0, it won't work on released versions of DrScheme.

For more on Dracula, see: http://www.ccs.neu.edu/home/cce/acl2/
For more on ACL2, see: http://www.cs.utexas.edu/users/moore/acl2/

Carl Eastlund

Posted on the users mailing list.