From 5be8e3a83839b94ea3b7ba2015b9eb6d366bac4a Mon Sep 17 00:00:00 2001
From: notin
Date: Fri, 16 Mar 2007 10:48:40 +0000
Subject: Correction du bug #1441
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9712 85f007b7-540e-0410-9357-904b9bb8a0f7
---
doc/stdlib/index-list.html.template | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
(limited to 'doc/stdlib')
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index f63b6cf47b..7599db6dc7 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -1,8 +1,12 @@
-
+
+
-
-The Coq Standard Library
+<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-15"/>
+<link rel="stylesheet" href="css/context.css" type="text/css"/>
+<title>The Coq Standard Library
--
cgit v1.2.3