changeset 6569 | 66c941ea1f01 |
parent 6170 | 9a59cf8ae9b5 |
child 7421 | 0577bb18b1ab |
--- a/doc-src/Ref/goals.tex Mon May 03 18:35:48 1999 +0200 +++ b/doc-src/Ref/goals.tex Mon May 03 19:03:35 1999 +0200 @@ -309,7 +309,7 @@ \end{ttdescription} \goodbreak -\noindent{\it Error indications for \texttt{back}:}\par\nobreak +\noindent{\it Error indications for {\tt back}:}\par\nobreak \begin{itemize} \item{\footnotesize\tt"Warning:\ same as previous choice at this level"} means \texttt{back} found a non-empty branch point, but that it contained