Some \var's were meant to be \vari's.

This commit is contained in:
sperber 2002-02-01 15:26:11 +00:00
parent 7f43009942
commit 7d67cc736b
1 changed files with 2 additions and 2 deletions

View File

@ -493,13 +493,13 @@ as communication channels.
\section{Conditional process sequencing forms} \section{Conditional process sequencing forms}
These forms allow conditional execution of a sequence of processes. These forms allow conditional execution of a sequence of processes.
\dfn{||} {\vari{pf}1 \ldots \var{pf}n} {\boolean} {syntax} \dfn{||} {\vari{pf}1 \ldots \vari{pf}n} {\boolean} {syntax}
\begin{desc} \begin{desc}
Run each proc until one completes successfully (\ie, exit status zero). Run each proc until one completes successfully (\ie, exit status zero).
Return true if some proc completes successfully; otherwise \sharpf. Return true if some proc completes successfully; otherwise \sharpf.
\end{desc} \end{desc}
\dfn{\&\&} {\vari{pf}1 \ldots \var{pf}n} {\boolean} {syntax} \dfn{\&\&} {\vari{pf}1 \ldots \vari{pf}n} {\boolean} {syntax}
\begin{desc} \begin{desc}
Run each proc until one fails (\ie, exit status non-zero). Run each proc until one fails (\ie, exit status non-zero).
Return true if all procs complete successfully; otherwise \sharpf. Return true if all procs complete successfully; otherwise \sharpf.