From 29e2201eef3b56115cbb3418f0b6161a71152ad8 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Wed, 11 Aug 2004 14:01:08 +0000
Subject: [PATCH] key

---
 doc/gf-index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/gf-index.html b/doc/gf-index.html
index b338ff1ea..c5fa3528a 100644
--- a/doc/gf-index.html
+++ b/doc/gf-index.html
@@ -175,7 +175,7 @@ Knowledge</a>. GF is used in implementing multimodal and multilingual dialogue s
 
 <p>
 
-<a hred="http://www.key-project.org/">KeY</a> project on Integrated Deductive
+<a href="http://www.key-project.org/">KeY</a> project on Integrated Deductive
 Software Design. GF is used for
 authoring informal and formal specifications. More details on the GF
 application