From d2204d89037471c265ab70afb9f03983869948db Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 4 Oct 2006 22:16:18 +0000
Subject: Ajout String

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9207 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/RefMan-lib.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/refman/RefMan-lib.tex b/doc/refman/RefMan-lib.tex
index 5a022c74e5..6c28fbb336 100644
--- a/doc/refman/RefMan-lib.tex
+++ b/doc/refman/RefMan-lib.tex
@@ -815,6 +815,7 @@ subdirectories:
                  \textbf{ZArith} library).\\
  {\bf Relations} & Relations (definitions and basic results). \\
  {\bf Sorting} & Sorted list (basic definitions and heapsort correctness). \\
+ {\bf Strings} & 8-bits characters and strings\\
  {\bf Wellfounded} & Well-founded relations (basic results). \\
 
 \end{tabular}
-- 
cgit v1.2.3