Remove string.{letters,lowercase,uppercase}.

1 files changed, 3 insertions, 30 deletions

diff --git a/Doc/lib/libstring.tex b/Doc/lib/libstring.tex
index 055ac0c..9948cb7 100644
--- a/Doc/lib/libstring.tex
+++ b/Doc/lib/libstring.tex
@@ -13,18 +13,18 @@ functions based on regular expressions.
 
 The constants defined in this module are:
 
-\begin{datadesc}{ascii_letters}
+\begin{datadesc}{ascii\_letters}
   The concatenation of the \constant{ascii_lowercase} and
   \constant{ascii_uppercase} constants described below.  This value is
   not locale-dependent.
 \end{datadesc}
 
-\begin{datadesc}{ascii_lowercase}
+\begin{datadesc}{ascii\_lowercase}
   The lowercase letters \code{'abcdefghijklmnopqrstuvwxyz'}.  This
   value is not locale-dependent and will not change.
 \end{datadesc}
 
-\begin{datadesc}{ascii_uppercase}
+\begin{datadesc}{ascii\_uppercase}
   The uppercase letters \code{'ABCDEFGHIJKLMNOPQRSTUVWXYZ'}.  This
   value is not locale-dependent and will not change.
 \end{datadesc}
@@ -37,23 +37,6 @@ The constants defined in this module are:
   The string \code{'0123456789abcdefABCDEF'}.
 \end{datadesc}
 
-\begin{datadesc}{letters}
-  The concatenation of the strings \constant{lowercase} and
-  \constant{uppercase} described below.  The specific value is
-  locale-dependent, and will be updated when
-  \function{locale.setlocale()} is called.
-\end{datadesc}
-
-\begin{datadesc}{lowercase}
-  A string containing all the characters that are considered lowercase
-  letters.  On most systems this is the string
-  \code{'abcdefghijklmnopqrstuvwxyz'}.  Do not change its definition ---
-  the effect on the routines \function{upper()} and
-  \function{swapcase()} is undefined.  The specific value is
-  locale-dependent, and will be updated when
-  \function{locale.setlocale()} is called.
-\end{datadesc}
-
 \begin{datadesc}{octdigits}
   The string \code{'01234567'}.
 \end{datadesc}
@@ -69,16 +52,6 @@ The constants defined in this module are:
   \constant{punctuation}, and \constant{whitespace}.
 \end{datadesc}
 
-\begin{datadesc}{uppercase}
-  A string containing all the characters that are considered uppercase
-  letters.  On most systems this is the string
-  \code{'ABCDEFGHIJKLMNOPQRSTUVWXYZ'}.  Do not change its definition ---
-  the effect on the routines \function{lower()} and
-  \function{swapcase()} is undefined.  The specific value is
-  locale-dependent, and will be updated when
-  \function{locale.setlocale()} is called.
-\end{datadesc}
-
 \begin{datadesc}{whitespace}
   A string containing all characters that are considered whitespace.
   On most systems this includes the characters space, tab, linefeed,