[racket] Dracula web page has moved

From: Carl Eastlund (carl.eastlund at gmail.com)
Date: Sun Mar 30 13:41:21 EDT 2014

The web page for Dracula, the DrRacket front-end to the ACL2 theorem
prover, has moved; it is now at:


The old page now contains a link to the new one.

Carl Eastlund
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140330/c8c4dc93/attachment.html>

Posted on the users mailing list.