GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 19:42:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

key

Browse Source
This commit is contained in:
aarne
2004-08-11 14:01:08 +00:00
parent 3ba4606962
commit 29e2201eef
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