diff options
| author | aarne <unknown> | 2004-08-11 14:01:08 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-08-11 14:01:08 +0000 |
| commit | fce15fd6ef5ec4a18b7bd50d2fa18f6f1ae7c1fc (patch) | |
| tree | 5095dd6a620fdf447912ccc29004f50c9bb95787 /doc | |
| parent | c37cc9bd968e662c9c6d1011a1e09fe8f953f3c5 (diff) | |
key
Diffstat (limited to 'doc')
| -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 |