summaryrefslogtreecommitdiff
path: root/download/release-3.2.t2t
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2011-10-25 07:44:57 +0000
committeraarne <aarne@chalmers.se>2011-10-25 07:44:57 +0000
commitfdcd7c748611db1e11c7899726f30146e4502a39 (patch)
treea1e57a9d4f8879a55dbb8886032565c1c2139ec9 /download/release-3.2.t2t
parent6da9744c6b8857909dc242efb67769c286f2ed4e (diff)
items to release notes on my changes
Diffstat (limited to 'download/release-3.2.t2t')
-rw-r--r--download/release-3.2.t2t15
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.