Bump version number to 3.7.1 and finalize documentation

Updated version number in gf.cabal and update debian/changelog
News item on home page (index.html)
Some last minute edits on the download page
Move the new release notes and download page in place.

1 files changed, 84 insertions, 0 deletions

diff --git a/download/release-3.7.1.t2t b/download/release-3.7.1.t2t
new file mode 100644
index 000000000..8b2a27aca
--- /dev/null
+++ b/download/release-3.7.1.t2t
@@ -0,0 +1,84 @@
+GF 3.7.1 Release Notes
+October 2015
+
+%!style:../css/notes.css
+%!postproc(html): <TITLE> <meta charset="UTF-8"><meta name = "viewport" content = "width = device-width"> <TITLE>
+%!postproc(html): <H1> <H1><a href="../"><IMG src="../doc/Logos/gf0.png"></a>
+
+==Installation==
+
+See the [download page http://www.grammaticalframework.org/download/index.html].
+
+==What's new==
+
+Over 170 changes have been pushed to the source repository since
+[the release of GF 3.7 release-3.7.html] in June 2015.
+
+===GF compiler and run-time library===
+
+====New features and notable changes====
+
+- GF shell: ``cc -trace`` (preliminary): you can now do things like 
+  
+  	``cc -trace mkV "debug"``
+  
+  to see a trace of all opers with their arguments and results during the
+  computation of ``mkV "debug"``.
+
+- GF shell: you can now parse and linearize with the C run-time system
+  from the GF shell by starting GF with ``gf -cshell`` or ``gf -crun``.
+  Only limited functionality is available when running the shell in these
+  modes (use the ``help`` command in the shell for details):
+  
+  - You can only import ``.pgf`` files, not source files.
+  - The ``-retain`` flag can not be used and the commands that require it to
+    work are not available.
+
+- GF now supports parallel batch compilation of grammars.
+
+    - ``gf -make -j=``//n// uses //n// parallel threads.
+    - ``gf -make -j`` adapts to the number of processors in the system.
+
+  (This depends on the function ``Control.Concurrent.setNumCapabilities``,
+  which is only available in GHC>=7.6 (base>=4.6).
+  GF can still be compiled with GHC<7.6, but then you have
+  to use ``+RTS -N -RTS`` to take advantage of multicore processors.)
+
+- GF shell: more commands (``cc``, ``sd``, ``so``, ``ss``, ``dg``, ``ph``)
+  can now be used in pipes and
+  the ``eh`` (``execute_history``) command now works again.
+
+
+====Other changes and bug fixes====
+
+- Various improvements and bug fixes in the C run-time system and its
+  bindings to other languages.
+
+
+====Changes of interest to compiler developers====
+
+- The implementation of the GF shell has been refactored, both to accommodate
+  the C run-time mode (``gf -cshell``), to allow a more uniform treatment
+  of different types of commands, and to fix some commands that have been
+  broken for years.
+
+
+===Resource Grammar Library===
+
+- Various fixes for several languages.
+- Numerous fixes in the translation dictionaries.
+
+
+===GF Cloud services===
+
+- PGF service: by adding ``unlexer=none`` (or ``unlexer=id``)
+  in requests that output linearizations
+  (e.g. ``command=linearize``, ``command=translate``),
+  you can leave ``&+`` uninterpreted instead of gluing the adjacent tokens.
+  This means that the output is left in a format that can be parsed in
+  a subsequent request.
+
+
+--------------------
+
+[www.grammaticalframework.org http://www.grammaticalframework.org]