diff options
| author | aarne <aarne@chalmers.se> | 2011-10-25 07:44:57 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2011-10-25 07:44:57 +0000 |
| commit | fdcd7c748611db1e11c7899726f30146e4502a39 (patch) | |
| tree | a1e57a9d4f8879a55dbb8886032565c1c2139ec9 /download/release-3.2.t2t | |
| parent | 6da9744c6b8857909dc242efb67769c286f2ed4e (diff) | |
items to release notes on my changes
Diffstat (limited to 'download/release-3.2.t2t')
| -rw-r--r-- | download/release-3.2.t2t | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/download/release-3.2.t2t b/download/release-3.2.t2t index 3265cffef..6102a888b 100644 --- a/download/release-3.2.t2t +++ b/download/release-3.2.t2t @@ -12,7 +12,20 @@ See the [download page http://www.grammaticalframework.org/download/index.html]. ===GF 3.2.10 (October 2011)=== -- ... +- Source language extension: it is now possible to override the oper definitions in an interface, by using the + header syntax ``instance Foo of Bar - [f,g,h]``. +- New functionalities in GF shell commands (more information with ``help`` command-name). + - ``aw`` = ``align_words`` option ``-giza`` prints word alignments in Giza++ format. + - ``i`` = ``import`` now recognizes changes in abstract syntax without the need of ``empty``. + - ``pg`` = ``print_grammar`` option ``-lexc`` prints lexicon in Xerox LEXC format. + - ``ps`` = ``put_string`` now has flags for reading transliteration rules from a user-provided file. + - ``r`` = ``reload`` repeats the latest instance of ``import``. + - ``sd`` = ``show_dependencies`` shows all dependencies of a constant, and optionally their code sizes. + - ``so`` = ``show_operations`` shows the oper's in scope, optionally restricted to a value type. + - ``ss`` = ``show_source`` shows source code, or optionally just function headers or source code sizes. + + +- Haskell output as Generalized Algebraic Datatypes: ``gf -make -output-format=haskell --haskell=gadt`` - ``gf -server`` replaces ``pgf-http`` and makes it easy to test the minibar and the web-based grammar editor. |
