From 93842330896c5940a1456068e72880b6481dcba8 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sat, 5 Mar 2011 16:42:07 +0000
Subject: Restore documentation of library String which was removed in 2007
 (r10049) probably inadvertantly since it is not reported in the commit log.
 (Thanks to Cédric who noticed it.)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13877 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/stdlib/index-list.html.template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc')

diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 1329abcc8..712681856 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -492,13 +492,13 @@ through the <tt>Require Import</tt> command.</p>
     theories/FSets/FMapFullAVL.v
   </dd>
 
-<!--  <dt> <b>Strings</b>
+  <dt> <b>Strings</b>
     Implementation of string as list of ascii characters
   </dt>
   <dd>
     theories/Strings/Ascii.v
     theories/Strings/String.v
-  </dd> -->
+  </dd>
     
   <dt> <b>Reals</b>:
     Formalization of real numbers
-- 
cgit v1.2.3