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
____________________ Racket Users list: http://lists.racket-lang.org/users