summaryrefslogtreecommitdiff
path: root/download/release-3.7.1.t2t
diff options
context:
space:
mode:
authorJohn J. Camilleri <john@johnjcamilleri.com>2018-11-27 22:14:01 +0100
committerJohn J. Camilleri <john@johnjcamilleri.com>2018-11-27 22:14:01 +0100
commit8821f8baa850ddfb572bf4aadb98ea192d8d44b0 (patch)
treeace9ca440ed0c6c1ead0d9de2df5f84e230dedf6 /download/release-3.7.1.t2t
parent8a45d23d631c6acfa91f387488430d03ab685a8b (diff)
Check all historic download and release pages
Diffstat (limited to 'download/release-3.7.1.t2t')
-rw-r--r--download/release-3.7.1.t2t17
1 files changed, 4 insertions, 13 deletions
diff --git a/download/release-3.7.1.t2t b/download/release-3.7.1.t2t
index 8b2a27aca..c31ee0d93 100644
--- a/download/release-3.7.1.t2t
+++ b/download/release-3.7.1.t2t
@@ -1,10 +1,6 @@
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].
@@ -18,10 +14,10 @@ Over 170 changes have been pushed to the source repository since
====New features and notable changes====
-- GF shell: ``cc -trace`` (preliminary): you can now do things like
-
+- 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"``.
@@ -29,7 +25,7 @@ Over 170 changes have been pushed to the source repository since
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.
@@ -77,8 +73,3 @@ Over 170 changes have been pushed to the source repository since
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]