added string.translate(s, table)

diff --git a/Doc/lib/libstring.tex b/Doc/lib/libstring.tex
index 17717dfd256ce5bc441a9fe39ade7503bd269d0d..ac6dc557dd647572e2a42e8f6600ec6779903a22 100644 (file)
--- a/Doc/lib/libstring.tex
+++ b/Doc/lib/libstring.tex
@@ -159,6 +159,12 @@ Remove leading and trailing whitespace from the string
 Convert lower case letters to upper case and vice versa.
 \end{funcdesc}
 
+\begin{funcdesc}{translate}{s, table}
+Translate the characters from \var{s} using \var{table}, which must be
+a 256-character string giving the translation for each character
+value, indexed by its ordinal.
+\end{funcdesc}
+
 \begin{funcdesc}{upper}{s}
 Convert letters to upper case.
 \end{funcdesc}

diff --git a/Doc/libstring.tex b/Doc/libstring.tex
index 17717dfd256ce5bc441a9fe39ade7503bd269d0d..ac6dc557dd647572e2a42e8f6600ec6779903a22 100644 (file)
--- a/Doc/libstring.tex
+++ b/Doc/libstring.tex
@@ -159,6 +159,12 @@ Remove leading and trailing whitespace from the string
 Convert lower case letters to upper case and vice versa.
 \end{funcdesc}
 
+\begin{funcdesc}{translate}{s, table}
+Translate the characters from \var{s} using \var{table}, which must be
+a 256-character string giving the translation for each character
+value, indexed by its ordinal.
+\end{funcdesc}
+
 \begin{funcdesc}{upper}{s}
 Convert letters to upper case.
 \end{funcdesc}