diff options
author | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-03-16 10:48:40 +0000 |
---|---|---|
committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-03-16 10:48:40 +0000 |
commit | 5be8e3a83839b94ea3b7ba2015b9eb6d366bac4a (patch) | |
tree | 77286ad21f857d3eee8099352d16ba1f08f8576f /doc/stdlib | |
parent | 2edc1a4df1d90bac3b508834f7ced08c86cf75b7 (diff) |
Correction du bug #1441
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9712 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/stdlib')
-rw-r--r-- | doc/stdlib/index-list.html.template | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template index f63b6cf47..7599db6dc 100644 --- a/doc/stdlib/index-list.html.template +++ b/doc/stdlib/index-list.html.template @@ -1,8 +1,12 @@ -<html> +<!DOCTYPE html + PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" + "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> +<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> <head> -<link rel="stylesheet" href="coqdoc.css" type="text/css"> -<title>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</title> </head> <body> |