summaryrefslogtreecommitdiff
path: root/index-3.txt
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-15 13:25:22 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-15 13:25:22 +0000
commit8c3111e36a039b2070e796821216d2ff59e09ee6 (patch)
treeb261c5939892a8287c7ccee011899776efdac921 /index-3.txt
parent486d21cd7a2364d187483c21fa615e71b0352f7e (diff)
UTF3 coding as ps command options, also -bind
Diffstat (limited to 'index-3.txt')
-rw-r--r--index-3.txt9
1 files changed, 4 insertions, 5 deletions
diff --git a/index-3.txt b/index-3.txt
index 047edfdb7..bcab59461 100644
--- a/index-3.txt
+++ b/index-3.txt
@@ -83,11 +83,10 @@ is available for
GF was born in 1998 at Xerox Research Centre Europe, Grenoble in the project
Multilingual Document Authoring. At Xerox, it was used for prototypes including
-- restaurant phrase book in 6 languages
-- database queries in 7 languages
-- alarm system instructions in 5 languages
-- medical drug descriptions in 2 languages
-
+a restaurant phrase book in 6 languages,
+a database query system in 7 languages,
+a formalization of an alarm system instructions with translations to 5 languages, and
+an authoring system for medical drug descriptions in 2 languages.
Later projects using GF and involving third parties include, in chronological order,
- GF-Alfa: natural language interface to formal proofs