Manually updating automatically generated files

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>