added links to main index.html

index.html

@@ -128,16 +128,38 @@ GF, Grammatical Framework, is a programming language for
 <B>multilingual grammar applications</B>. It is
 </P>
 <UL>
-<LI>a <B>special-purpose language for grammars</B>, like YACC, Bison, Happy, BNFC,
+<LI>a <B>special-purpose language for grammars</B>, like
+  <a href="http://dinosaur.compilertools.net/yacc/">YACC</a>,
+  <a href="http://www.gnu.org/software/bison/">Bison</a>,
+  <a href="http://www.haskell.org/happy/">Happy</a>,
+  <a href="http://bnfc.digitalgrammars.com/">BNFC</a>,
   but not restricted to programming languages
-<LI>a <B>functional language</B>, like Haskell, Lisp, OCaml, Scheme, SML,
+<LI>a <B>functional programming language</B>, like
+  <a href="http://www.haskell.org/">Haskell</a>,
+  <a href="http://en.wikipedia.org/wiki/Lisp_(programming_language)">Lisp</a>,
+  <a href="http://ocaml.org/">OCaml</a>,
+  <a href="http://www.smlnj.org/">SML</a>,
+  <a href="http://schemers.org/">Scheme</a>,
   but specialized to grammar writing
-<LI>a <B>natural language processing framework</B>, like LKB, XLE, Regulus,
+<LI>a <B>development platform for natural language grammars</B>, like
+  <a href="http://moin.delph-in.net/LkbTop">LKB</a>,
+  <a href="http://www2.parc.com/isl/groups/nltt/xle/">XLE</a>,
+  <a href="http://www.issco.unige.ch/en/research/projects/regulus/news.shtml">Regulus</a>,
   but based on functional programming and type theory
-<LI>a <B>categorial grammar formalism</B>, like ACG, CCG,
+<LI>a <B>categorial grammar formalism</B>, like
-  but different and equipped with different tools
+  <a href="http://www.loria.fr/equipes/calligramme/acg/">ACG</a>,
-<LI>a <B>logical framework</B>, like Agda, Coq, Isabelle,
+  <a href="http://openccg.sourceforge.net/">CCG</a>,
+  but specialized for multilingual grammars,
+<LI>a <B>logical framework</B>, like
+  <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php">Agda</a>,
+  <a href="http://coq.inria.fr/">Coq</a>,
+  <a href="http://www.cl.cam.ac.uk/research/hvg/Isabelle/">Isabelle</a>,
   but equipped with concrete syntax in addition to logic
+<li>a <b>platform for machine translation</b>, like
+  <a href="http://www.statmt.org/moses/">Moses</a>,
+  <a href="http://www.apertium.org/">Apertium</a>,
+  but based on deep structural analysis (and usually applied for
+  limited fragments of language).
 </UL>
 
 <P>
@@ -149,8 +171,8 @@ least one, it may help you to get a first idea of what GF is.
 GF can be used for building
 </P>
 <UL>
-<LI><A HREF="http://grammaticalframework.org:41296">translation systems</A>
+<LI><A HREF="http://cloud.grammaticalframework.org/translator/">translation systems</A>
-<LI><A HREF="http://grammaticalframework.org:41296/minibar/minibar.html">multilingual web gadgets</A>
+<LI><A HREF="http://cloud.grammaticalframework.org/minibar/minibar.html">multilingual web gadgets</A>
 <LI><A HREF="http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html">natural-language interfaces</A>
 <LI><A HREF="http://www.youtube.com/watch?v=1bfaYHWS6zU">dialogue systems</A>
 <LI><A HREF="lib/doc/synopsis.html">natural language resources</A>
@@ -199,8 +221,15 @@ Later projects using GF and involving third parties include, in chronological or
   Swedish morphological dictionary based on rules developed for GF and
   <A HREF="http://www.cse.chalmers.se/alumni/markus/FM/">Functional Morphology</A>
 <LI><a href="http://www.molto-project.eu">MOLTO</a>:
-  multilingual online translation.
+  multilingual online translation
+<LI><a href="http://remu.grammaticalframework.org">REMU</a>:
+  reliable multilingual digital communication.
 </UL>
+<p>
+Here is a <a
+href="http://videos.xrce.xerox.com/index.php/videos/index/618">talk
+about GF at XRCE</a>, 
+14 years later.
 
 <P>
 Academically, GF has been used in at least ten PhD theses and resulted