(module info (lib "infotab.ss" "setup") (define name "Dracula") (define blurb '("Provides the Dracula language level for ACL2 emulation.")) (define release-notes '("3.0: Ported Dracula to PLT v4. Still needs Scribble documentation.")) (define categories '(devtools scientific)) (define homepage "http://www.ccs.neu.edu/home/cce/acl2/") (define primary-file "language/dracula.scm") (define repositories '("4.x")) )