diff options
| author | John J. Camilleri <john@johnjcamilleri.com> | 2018-11-27 22:14:01 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@johnjcamilleri.com> | 2018-11-27 22:14:01 +0100 |
| commit | 8821f8baa850ddfb572bf4aadb98ea192d8d44b0 (patch) | |
| tree | ace9ca440ed0c6c1ead0d9de2df5f84e230dedf6 /download/release-3.1.6.t2t | |
| parent | 8a45d23d631c6acfa91f387488430d03ab685a8b (diff) | |
Check all historic download and release pages
Diffstat (limited to 'download/release-3.1.6.t2t')
| -rw-r--r-- | download/release-3.1.6.t2t | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/download/release-3.1.6.t2t b/download/release-3.1.6.t2t index aec8bb650..c3500665a 100644 --- a/download/release-3.1.6.t2t +++ b/download/release-3.1.6.t2t @@ -5,13 +5,13 @@ GF Version 3.1.6 Release Notes =Installation= The binaries now work out of the box for each platform and support -completions (file names and parsing), because readline has been +completions (file names and parsing), because readline has been changed to haskeline. To compile from source, GHC 6.12 is now required. But GHC is not needed if the binary executables are used. -Binaries (``.gfo`` and ``.pgf`` files) compiled with GF 3.1 are incompatible +Binaries (``.gfo`` and ``.pgf`` files) compiled with GF 3.1 are incompatible with 3.1.6 and must either be removed; alternatively, the ``-src`` flag can be used when compiling. @@ -24,8 +24,8 @@ Grammar language - improved support for dependent types (see ``SUMO``, ``nqueens`` in ``examples``) -Shell commands and options (see ``help`` in GF for more information) -- ``eb``: example-based grammar file conversion +Shell commands and options (see ``help`` in GF for more information) +- ``eb``: example-based grammar file conversion (see ``examples/animals/QuestionI.gf``) - ``vd = visualize_dependency``: show dependency tree - ``vp = visualize_parse``: show parse tree @@ -57,8 +57,3 @@ Internal Javascript generation is not updated to the new PGF format. [GF 3.1 old-index.html] should still be used for building Javascript applications. - - - - - |