doc-src/Ref/goals.tex

--- a/doc-src/Ref/goals.tex	Wed Aug 03 09:45:42 1994 +0200
+++ b/doc-src/Ref/goals.tex	Thu Aug 04 11:45:59 1994 +0200
@@ -190,13 +190,15 @@
   find no alternative proof state.
 \end{itemize}
 
-\subsection{Printing the proof state}
+\subsection{Printing the proof state}\label{sec:goals-printing}
 \index{proof state!printing of}
 \begin{ttbox} 
 pr    : unit -> unit
 prlev : int -> unit
 goals_limit: int ref \hfill{\bf initially 10}
 \end{ttbox}
+See also the printing control options described in
+\S\ref{sec:printing-control}. 
 \begin{ttdescription}
 \item[\ttindexbold{pr}();] 
 prints the current proof state.