\doc{The stop command}
\ref{stop-command}

The \def{stop command} returns control over LP to the user.

\head{2}{\dlink{../symbols/syntax}{Syntax}}
\begin{verbatim}
\sd{stop-command} ::= \f{stop}
\end{verbatim}

\head{2}{Examples}
\begin{verbatim}
stop
\end{verbatim}

\head{2}{Usage} 

The \fq{stop} command causes LP to stop \dlink{execute}{executing} commands
from files, thereby enabling the user to enter commands again from the
terminal.

