((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPackagesCommunityLearning

[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:

  http://dracula-lang.github.io

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.