#lang scribble/doc
@(require scribble/manual planet/util)

@(define maj (number->string (this-package-version-maj)))
@(define min (number->string (this-package-version-min)))

@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 @|maj| @|min|}

@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 @|maj| @|min|}

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.