From 3c50bfb17b72fc2eb1871f1fe15035ed03e2cb03 Mon Sep 17 00:00:00 2001 From: krasimir Date: Fri, 23 Apr 2010 13:26:57 +0000 Subject: [PATCH] more in the release notes for 3.1.6 --- download/release-3.1.6.txt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/download/release-3.1.6.txt b/download/release-3.1.6.txt index 843499757..aec8bb650 100644 --- a/download/release-3.1.6.txt +++ b/download/release-3.1.6.txt @@ -21,8 +21,7 @@ Notice the new place to send bug reports (see GF's welcome message)! =New features= Grammar language -- increased support for dependent types (see ``SUMO``, - ``category-theory`` and ``nqueens`` in ``examples``) +- improved support for dependent types (see ``SUMO``, ``nqueens`` in ``examples``) Shell commands and options (see ``help`` in GF for more information) @@ -32,17 +31,18 @@ Shell commands and options (see ``help`` in GF for more information) - ``vp = visualize_parse``: show parse tree - ``gr, gt, mq, tq``: use a seed tree with metavariables - ``gr, p, tq``: use ``-probs=FILE`` to bias or rank generated trees +- ``gt`` now tries the different alternatives in the order in which they appear in the source code - ``dg``: hide modules when printing dependency graph +- -output-format=lambda_prolog let us to use Lambda Prolog for exhaustive generation with dependent types Libraries -- Urdu completed -- Turkish morphology completed +- Urdu completed (Shafqat Virk) +- Turkish morphology + Zamberek's dictionary in GF (Server Cimen) Examples - SUMO -- category-theory - phrasebook - nqueens