GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

more in the release notes for 3.1.6

Browse Source
This commit is contained in:
krasimir
2010-04-23 13:26:57 +00:00
parent 36bba54a8f
commit f204723fdb
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
download/release-3.1.6.txt
View File

@@ -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