@item System Definition Tool
@code{asdf} is a flexible and popular protocol-oriented system
-definition tool by Daniel Barlow.
+definition tool by Daniel Barlow. @inforef{Top,the asdf manual,asdf}, for
+more information.
@item Third-party Extension Installation Tool
@code{asdf-install} is a tool that can be used to download and install
Currently @dfn{SLIME}@footnote{Historically, the ILISP package at
@uref{http://ilisp.cons.org/} provided similar functionality, but it
does not support modern SBCL versions.} (Superior Lisp Interaction
-Mode for Emacs) togather with Emacs is recommended for use with
+Mode for Emacs) together with Emacs is recommended for use with
SBCL, though other options exist as well.
SLIME can be downloaded from