diff --git a/download/index.html b/download/index.html
index 49fff473a..27af6beb1 100644
--- a/download/index.html
+++ b/download/index.html
@@ -21,15 +21,19 @@ GF 3.1.6 released 23 April 2010.
 <LI>MacOS X (Snow Leopard):
 <LI>MacOS X (Leopard):
 <LI>Windows:
+  <A HREF="gf-3.1.6-bin-i486-windows.zip"><CODE>gf-3.1.6-bin-i486-windows.zip</CODE></A>
+  (1.6 MB)
 <LI>Ubuntu Linux: 
-  <A HREF="gf-bin-3.1.6-i386-linux.gz"><CODE>gf-bin-3.1.6-i386-linux.gz</CODE></A>
+  <A HREF="gf-3.1.6-bin-i486-linux.gz"><CODE>gf-3.1.6-bin-i486-linux.gz</CODE></A>
   (1.7 MB)
 <LI>compiled library package:
-  <A HREF="gf-lib-3.1.6.tar.gz"><CODE>gf-lib-3.1.6.tar.gz</CODE></A>
+  <A HREF="gf-3.1.6-lib.tar.gz"><CODE>gf-3.1.6-lib.tar.gz</CODE></A>
   (4.4 MB)
 <LI>full source package (GF system, libraries, examples, documentation):
-  <A HREF="gf-src-3.1.6.tar.gz"><CODE>gf-src-3.1.6.tar.gz</CODE></A>
+  <A HREF="gf-3.1.6-src.tar.gz"><CODE>gf-3.1.6-src.tar.gz</CODE></A>
   (11 MB)
+<P></P>
+GF is also on <A HREF="http://hackage.haskell.org/package/gf">Hackage</A>
 </UL>
 
 <P>
diff --git a/download/release-3.1.6.html b/download/release-3.1.6.html
index 5d3d2c956..e7c31458d 100644
--- a/download/release-3.1.6.html
+++ b/download/release-3.1.6.html
@@ -32,8 +32,7 @@ Notice the new place to send bug reports (see GF's welcome message)!
 Grammar language
 </P>
 <UL>
-<LI>increased support for dependent types (see <CODE>SUMO</CODE>,
-  <CODE>category-theory</CODE> and <CODE>nqueens</CODE> in <CODE>examples</CODE>)
+<LI>improved support for dependent types (see <CODE>SUMO</CODE>, <CODE>nqueens</CODE> in <CODE>examples</CODE>)
 </UL>
 
 <P>
@@ -46,15 +45,17 @@ Shell commands and options (see <CODE>help</CODE> in GF for more information)
 <LI><CODE>vp = visualize_parse</CODE>: show parse tree
 <LI><CODE>gr, gt, mq, tq</CODE>: use a seed tree with metavariables
 <LI><CODE>gr, p, tq</CODE>: use <CODE>-probs=FILE</CODE> to bias or rank generated trees
+<LI><CODE>gt</CODE> now tries the different alternatives in the order in which they appear in the source code
 <LI><CODE>dg</CODE>: hide modules when printing dependency graph
+<LI>-output-format=lambda_prolog let us to use Lambda Prolog for exhaustive generation with dependent types
 </UL>
 
 <P>
 Libraries
 </P>
 <UL>
-<LI>Urdu completed
-<LI>Turkish morphology completed
+<LI>Urdu completed (Shafqat Virk)
+<LI>Turkish morphology + Zamberek's dictionary in GF (Server Cimen)
 </UL>
 
 <P>
@@ -62,7 +63,6 @@ Examples
 </P>
 <UL>
 <LI>SUMO
-<LI>category-theory
 <LI>phrasebook
 <LI>nqueens
 </UL>
@@ -82,6 +82,6 @@ Javascript generation is not updated to the new PGF format.
 <A HREF="old-index.html">GF 3.1</A> should still be used for building Javascript applications.
 </P>
 
-<!-- html code generated by txt2tags 2.4 (http://txt2tags.sf.net) -->
+<!-- html code generated by txt2tags 2.5 (http://txt2tags.sf.net) -->
 <!-- cmdline: txt2tags -thtml release-3.1.6.txt -->
 </BODY></HTML>