(module info (lib "infotab.ss" "setup")

  (define name "Dracula")

  (define doc.txt "language/doc.txt")

  (define html-docs (list "language/acl2-html-docs"))

  (define blurb (list "Provides the Dracula language level."))

  (define release-notes
    '("1.0: First PLaneT release of Dracula."))

  (define require-core-version "370")

  (define primary-file "language/dracula.scm")

  (define categories '(devtools scientific))

  (define tools '(("dracula-language-tool.scm" "language")
                  ("dracula-gui-tool.scm" "gui")))
  (define tool-names '("Dracula Language" "Dracula GUI"))
  (define tool-icons '("language/acl2.gif" #f))

  (define homepage "http://www.ccs.neu.edu/home/cce/acl2/")

  )