(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 for ACL2 emulation."))

  (define release-notes
    '((ul
       (li "1.8: Internal infrastructure changes, more language level GUI fixes.")
       (li "1.7: Updated doc.txt and added image-height to world teachpack.")
       (li "1.6: Fixed string-list->file function from io-utilities teachpack.")
       (li "1.5: Exported loc function from io-utilities teachpack.")
       (li "1.4: Improvements to book certification (feedback, Windows compatibility).")
       (li "1.3: Added remove1, remove1-eq, and remove1-equal.")
       (li "1.2: Fixed bug preventing DrScheme GUI updates when switching languages.")
       (li "1.1: Improved support for Lisp distributions (SBCL, CLisp).")
       (li "1.0: First PLaneT release of Dracula."))))

  (define require-core-version "370")

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

  (define categories '(devtools scientific))

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

  )