fix docs for `deftech': mention case folding

2012-08-20 15:37:34 -06:00 · 2012-08-20 15:37:34 -06:00 · 1ca5767684
commit 1ca5767684
parent 5bf68d32d5
1 changed files with 2 additions and 0 deletions
--- a/collects/scribblings/scribble/manual.scrbl
+++ b/collects/scribblings/scribble/manual.scrbl
@ -1295,6 +1295,8 @@ as follows:

@itemize[

+ @item{The string is case-folded.}
+
 @item{A trailing ``ies'' is replaced by ``y''.}

 @item{A trailing ``s'' is removed.}