diff options
| -rw-r--r-- | doc/gf-index.html | 2 |
1 files changed, 1 insertions, 1 deletions
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 |