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

  (define name "Dracula")

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

  (define html-docs (list "docs"))

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

  (define release-notes
    '("2.6:"
      (ul
       (li "Updated and documented rand teachpack.")
       (li "Expanded world teachpack to more of HTDP functions.")
       (li "Added experimental demo of Modular ACL2 (work in progress)"))))

  (define require-core-version "371")

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

  (define categories '(devtools scientific))

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

  )