--- a/Doc/lib/libstring.tex	Mon Sep 18 16:46:17 2000 +0000
+++ b/Doc/lib/libstring.tex	Mon Sep 18 16:48:13 2000 +0000
@@ -37,6 +37,17 @@
   The string \code{'01234567'}.
 \end{datadesc}
 
+\begin{datadesc}{punctuation}
+  String of \ASCII{} characters which are considered punctuation
+  characters in the \samp{C} locale.
+\end{datadesc}
+
+\begin{datadesc}{printable}
+  String of characters which are considered printable.  This is a
+  combination of \constant{digits}, \constant{letters},
+  \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