From 9d27ae09786866b6e3d7b79d1fa7667e5e2aa309 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Tue, 19 Apr 2011 16:44:20 +0200
Subject: Imported Upstream version 8.3.pl2

---
 doc/stdlib/index-list.html.template | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/stdlib/index-list.html.template')

diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 7ee85fe8..541fa1b9 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -452,13 +452,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