#lang scribble/doc @(require scribble/manual) @title[#:tag "install"]{Getting Started} This section provides instructions for installing, uninstalling, and upgrading Dracula. @subsubsub*section{Prerequisites} For the latest release of Dracula, you need DrScheme version 4.0.1 or above. Download and install from @link["http://www.plt-scheme.org/"]{the PLT Scheme site}. Dracula also requires ACL2 version 3.1+. Download and install from @link["http://www.cs.utexas.edu/users/moore/acl2/"]{the ACL2 site at UT, Austin}. @subsubsub*section{Installing Dracula} Dracula is available as a @link["http://planet.plt-scheme.org/display.ss?package=dracula.plt&owner=cce"]{Planet package}. It can be installed using the @schemefont{planet} command line utility. On Windows, this utility is in the directory where PLT Scheme is installed; on Mac or Unix, it is in the @schemefont{bin} subdirectory. To install Dracula using this utility, execute: @exec{planet install cce dracula.plt 6 0} @subsubsub*section{Dracula for DrScheme 37x} If you have DrScheme 371-372, you can still use Dracula. Simply run the following at the command line: @exec{planet -i cce dracula.plt 2 9} Dracula 2.9 works with ACL2 3.1+. @subsubsub*section{Uninstalling Dracula} To uninstall Dracula, run the following at the command line: @exec{planet remove cce dracula.plt 6 0} For other versions of Dracula, change the major and minor version numbers. For DrScheme versions 372 and before, change the @schemefont{remove} flag to @schemefont{-r}: @exec{planet -r cce dracula.plt 2 9} @subsubsub*section{Upgrading Dracula} To upgrade, remove the old Dracula as shown here. Then follow the installation instructions above.