From 65b6780384faa389ede088ca1e97d46a5ed56964 Mon Sep 17 00:00:00 2001
From: aarne
Date: Fri, 27 Jun 2008 17:50:46 +0000
Subject: finishing doc
---
index.html | 43 ++++++++++++++++++++++++++-----------------
1 file changed, 26 insertions(+), 17 deletions(-)
(limited to 'index.html')
diff --git a/index.html b/index.html
index 7376ce428..93281838e 100644
--- a/index.html
+++ b/index.html
@@ -87,14 +87,14 @@ least one, it may help you to get a first idea of what GF is.
GF can be used for building
Availability
@@ -112,7 +112,9 @@ is available for
Projects
-GF was first created in 1998 at Xerox Research Centre Europe, Grenoble in the project
+GF was first created in 1998 at
+Xerox Research Centre Europe,
+Grenoble, in the project
Multilingual Document Authoring. At Xerox, it was used for prototypes including
a restaurant phrase book,
a database query system,
@@ -123,17 +125,24 @@ an authoring system for medical drug descriptions.
Later projects using GF and involving third parties include, in chronological order,
-- GF-Alfa: natural language interface to formal proofs
-
- GF-KeY: authoring and translation of software specifications
-
- TALK: multilingual and multimodal spoken dialogue systems
-
- WebALT: multilingual generation of mathematical exercises (commercial project)
-
- MultiWiki: multilingual Wiki for restaurant reviews
-
- SALDO: Swedish morphological dictionary based on tools developed for GF
+
- GF-Alfa:
+ natural language interface to formal proofs
+
- Efficient:
+ authoring tool for business models.
+
- GF-KeY:
+ authoring and translation of software specifications
+
- TALK:
+ multilingual and multimodal spoken dialogue systems
+
- WebALT:
+ multilingual generation of mathematical exercises (commercial project)
+
- SALDO:
+ Swedish morphological dictionary based on rules developed for GF and
+ Functional Morphology
-Academically, GF has been used in four [PhD theses ], and resulted in around
-fifty [scientific publications ].
+Academically, GF has been used in four PhD theses and resulted in around
+fifty scientific publications (see GF publication list).
Programming in GF
--
cgit v1.2.3