msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

key

Browse Source
This commit is contained in:
aarne
2004-08-11 14:01:08 +00:00
parent c37cc9bd96
commit fce15fd6ef
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
doc/gf-index.html
View File

@@ -175,7 +175,7 @@ Knowledge</a>. GF is used in implementing multimodal and multilingual dialogue s
<p> <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 Software Design. GF is used for
authoring informal and formal specifications. More details on the GF authoring informal and formal specifications. More details on the GF
application application