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

  (define name "Dracula ACL2 GUI")

  (define tools '(("dracula-gui-tool.scm")))
  (define tool-names '("Dracula GUI"))

  )