diff options
| author | krasimir <krasimir@chalmers.se> | 2010-04-23 13:26:57 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-04-23 13:26:57 +0000 |
| commit | f204723fdb703d73f6d99b6c4838963dc85259ea (patch) | |
| tree | a3d412f53b8a7e939a20b4d69ad9062079769d2a | |
| parent | 36bba54a8ff0310e133655259d109d124ba95396 (diff) | |
more in the release notes for 3.1.6
| -rw-r--r-- | download/release-3.1.6.txt | 10 |
1 files 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 |