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

  (define name "Dracula Language Level")

  (define tools '(("dracula-language-tool.scm")))
  (define tool-names '("Dracula Language"))
  (define tool-icons '("acl2.gif"))

  )