--- a/Doc/lib/libthread.tex	Tue Jul 08 16:26:34 2003 +0000
+++ b/Doc/lib/libthread.tex	Tue Jul 08 17:07:20 2003 +0000
@@ -43,16 +43,16 @@
 then the thread exits (but other threads continue to run).
 \end{funcdesc}
 
+\begin{funcdesc}{interrupt_main}{}
+Raise a KeyboardInterrupt in the main thread.  A subthread can use this
+function to to interrupt the main thread.
+\end{funcdesc}
+
 \begin{funcdesc}{exit}{}
 Raise the \exception{SystemExit} exception.  When not caught, this
 will cause the thread to exit silently.
 \end{funcdesc}
 
-\begin{funcdesc}{exit_thread}{}
-\deprecated{1.5.2}{Use \function{exit()}.}
-This is an obsolete synonym for \function{exit()}.
-\end{funcdesc}
-
 %\begin{funcdesc}{exit_prog}{status}
 %Exit all threads and report the value of the integer argument
 %\var{status} as the exit status of the entire program.