finishing doc

4 files changed, 57 insertions, 32 deletions

diff --git a/demos/index.html b/demos/index.html
index 05d25ead3..cd86a1c1a 100644
--- a/demos/index.html
+++ b/demos/index.html
@@ -33,6 +33,10 @@ create mathematical exercises in six languages simultaneously.
 Gothenburg public transport system, in six languages (film).
 </P>
 <P>
+<A HREF="http://csmisc14.cs.chalmers.se/~bjorn/langtrain.cgi">GF Language Trainer</A>:
+translation quizzes in Arabic, English, Russian, Swedish.
+</P>
+<P>
 <A HREF="resource-api/editor.html">Library API browser-editor</A>: construct phrases in
 the <A HREF="../lib/resource/doc/synopsis.html">GF resource library</A>
 </P>
diff --git a/demos/index.txt b/demos/index.txt
index 292d69209..0e663a763 100644
--- a/demos/index.txt
+++ b/demos/index.txt
@@ -21,6 +21,9 @@ create mathematical exercises in six languages simultaneously.
 [Tramdemo http://www.cs.chalmers.se/~bringert/misc/tramdemo.avi]: find your way in
 Gothenburg public transport system, in six languages (film).
 
+[GF Language Trainer http://csmisc14.cs.chalmers.se/~bjorn/langtrain.cgi]:
+translation quizzes in Arabic, English, Russian, Swedish.
+
 [Library API browser-editor resource-api/editor.html]: construct phrases in
 the [GF resource library ../lib/resource/doc/synopsis.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
 </P>
 <UL>
-<LI>[text translators ]
-<LI>[speech translators ]
-<LI>[natural-language interfaces ]
-<LI>[multilingual web pages ]
-<LI>[multilingual authoring systems ]
-<LI>[dialogue systems ]
-<LI>[language training systems ]
-<LI>[natural language resources ]
+<LI><A HREF="lib/resource/doc/resdemo.html">text translators</A>
+<LI><A HREF="http://www.cs.chalmers.se/~bringert/gf/translatespeech.html">speech translators</A>
+<LI><A HREF="http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html">natural-language interfaces</A>
+<LI><A HREF="http://www.restauranggajden.se/tomas/">multilingual web pages</A>
+<LI><A HREF="http://www.cs.chalmers.se/~markus/gramlets/letter-applet.html">multilingual authoring systems</A>
+<LI><A HREF="http://www.cs.chalmers.se/~bringert/xv/pizza/">dialogue systems</A>
+<LI><A HREF="http://csmisc14.cs.chalmers.se/~bjorn/langtrain.cgi">language training systems</A>
+<LI><A HREF="lib/resource/synopsis.html">natural language resources</A>
 </UL>
 
 <H2>Availability</H2>
@@ -112,7 +112,9 @@ is available for
 
 <H2>Projects</H2>
 <P>
-GF was first created in 1998 at Xerox Research Centre Europe, Grenoble in the project
+GF was first created in 1998 at 
+<A HREF="http://www.xrce.xerox.com/">Xerox Research Centre Europe</A>, 
+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,
 </P>
 <UL>
-<LI>GF-Alfa: natural language interface to formal proofs
-<LI>GF-KeY: authoring and translation of software specifications
-<LI>TALK: multilingual and multimodal spoken dialogue systems
-<LI>WebALT: multilingual generation of mathematical exercises (commercial project)
-<LI>MultiWiki: multilingual Wiki for restaurant reviews
-<LI>SALDO: Swedish morphological dictionary based on tools developed for GF
+<LI><A HREF="http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html">GF-Alfa</A>: 
+  natural language interface to formal proofs
+<LI><A HREF="http://efficient.citi.tudor.lu/index_noframe.html">Efficient</A>:
+  authoring tool for business models.
+<LI><A HREF="http://www.key-project.org/">GF-KeY</A>: 
+  authoring and translation of software specifications
+<LI><A HREF="http://www.talk-project.org">TALK</A>: 
+  multilingual and multimodal spoken dialogue systems
+<LI><A HREF="http://webalt.math.helsinki.fi/">WebALT</A>: 
+  multilingual generation of mathematical exercises (commercial project)
+<LI><A HREF="http://spraakbanken.gu.se/sal/">SALDO</A>: 
+  Swedish morphological dictionary based on rules developed for GF and
+  <A HREF="http://www.cs.chalmers.se/~markus/FM/">Functional Morphology</A>
 </UL>
 
 <P>
-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 <A HREF="doc/gf-bibliography.html">GF publication list</A>).
 </P>
 <H2>Programming in GF</H2>
 <P>
diff --git a/index.txt b/index.txt
index 7c273f210..f1607c6f1 100644
--- a/index.txt
+++ b/index.txt
@@ -81,14 +81,14 @@ least one, it may help you to get a first idea of what GF is.
 ==Applications==
 
 GF can be used for building
-- [text translators ]
-- [speech translators ]
-- [natural-language interfaces ]
-- [multilingual web pages ]
-- [multilingual authoring systems ]
-- [dialogue systems ]
-- [language training systems ]
-- [natural language resources ]
+- [text translators lib/resource/doc/resdemo.html]
+- [speech translators http://www.cs.chalmers.se/~bringert/gf/translatespeech.html]
+- [natural-language interfaces http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html]
+- [multilingual web pages http://www.restauranggajden.se/tomas/]
+- [multilingual authoring systems http://www.cs.chalmers.se/~markus/gramlets/letter-applet.html]
+- [dialogue systems http://www.cs.chalmers.se/~bringert/xv/pizza/]
+- [language training systems http://csmisc14.cs.chalmers.se/~bjorn/langtrain.cgi]
+- [natural language resources lib/resource/synopsis.html]
 
 
 ==Availability==
@@ -104,7 +104,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 http://www.xrce.xerox.com/], 
+Grenoble, in the project
 Multilingual Document Authoring. At Xerox, it was used for prototypes including
 a restaurant phrase book,
 a database query system,
@@ -112,12 +114,19 @@ a formalization of an alarm system instructions with translations to 5 languages
 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 http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html]: 
+  natural language interface to formal proofs
+- [Efficient http://efficient.citi.tudor.lu/index_noframe.html]:
+  authoring tool for business models.
+- [GF-KeY http://www.key-project.org/]: 
+  authoring and translation of software specifications
+- [TALK http://www.talk-project.org]: 
+  multilingual and multimodal spoken dialogue systems
+- [WebALT http://webalt.math.helsinki.fi/]: 
+  multilingual generation of mathematical exercises (commercial project)
+- [SALDO http://spraakbanken.gu.se/sal/]: 
+  Swedish morphological dictionary based on rules developed for GF and
+  [Functional Morphology http://www.cs.chalmers.se/~markus/FM/]
 
 
 Academically, GF has been used in four PhD theses and resulted in around