Document interrupt_main()

Remove obsolete reference to deprecated exit_thread() function

diff --git a/Doc/lib/libthread.tex b/Doc/lib/libthread.tex
index 87aa3ea83f3fbc65a332749d07b89c1fc422e9bc..d2a34a1856ac5717ee6f5dd6d8f7f2e35a64b7c3 100644 (file)
--- a/Doc/lib/libthread.tex
+++ b/Doc/lib/libthread.tex
@@ -43,16 +43,16 @@ terminates with an unhandled exception, a stack trace is printed and
 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.