From 5aa2a212bbbf6bce696665852d7da98f91c81d54 Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Tue, 12 Jun 2018 15:53:58 +0200 Subject: Remove HTML files from VC which should be generated from txt2tags If these pages disappear from the web via www.grammaticalframework.org then this commit may need to be reversed --- download/index-3.1.6.html | 93 --------------------------------------------- download/release-3.1.6.html | 87 ------------------------------------------ download/release-3.1.6.t2t | 64 +++++++++++++++++++++++++++++++ download/release-3.1.6.txt | 64 ------------------------------- 4 files changed, 64 insertions(+), 244 deletions(-) delete mode 100644 download/index-3.1.6.html delete mode 100644 download/release-3.1.6.html create mode 100644 download/release-3.1.6.t2t delete mode 100644 download/release-3.1.6.txt (limited to 'download') diff --git a/download/index-3.1.6.html b/download/index-3.1.6.html deleted file mode 100644 index f351fbb1e..000000000 --- a/download/index-3.1.6.html +++ /dev/null @@ -1,93 +0,0 @@ - - - - -Grammatical Framework Download and Installation - -

Grammatical Framework Download and Installation

- -Version 3.1.6, 23 April 2010
-
- -

Latest developer code

-

-GF darcs repository -

-

Latest release

-

-GF 3.1.6 released 23 April 2010. -

- - -

-What's new? See the release notes. -

-

Previous releases

-

-Follow this link. -

-

Installation instructions

-

-The Windows package is installed by just unpacking it anywhere. -It finds the libraries relative to the .exe file. -

-

-To install a binary package for MacOS X or Linux: uncompress the executable and -put it somewhere on your path, renaming it to just gf. For instance: -

-
-    gunzip gf-bin-[version].gz
-    sudo mv gf-bin-[version] /usr/local/bin/gf
-
-

-To install the libraries (if done separately), unpack them in the place to which your -GF_LIB_PATH points. -

-
-    cd $GF_LIB_PATH
-    gtar xvfz gf-lib-[VERSION].tgz
-
-

-If this variable hasn't been defined, it is useful define it, e.g. -

-
-    export GF_LIB_PATH=/usr/local/lib/gf/
-
-

-

-To compile and install from source on Mac or Linux, do: -

-
-    tar xvfz gf-[VERSION].tgz
-    cd GF/src
-    runghc Setup configure --user
-    runghc Setup build
-    runghc Setup install
-
-

-The last command must be prefixed by sudo, if the installation is outside -user-writeable area. -

- - - - diff --git a/download/release-3.1.6.html b/download/release-3.1.6.html deleted file mode 100644 index e7c31458d..000000000 --- a/download/release-3.1.6.html +++ /dev/null @@ -1,87 +0,0 @@ - - - - -GF Version 3.1.6 Release Notes - -

GF Version 3.1.6 Release Notes

- -23 April 2010
-
- -

Installation

-

-The binaries now work out of the box for each platform and support -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 -with 3.1.6 and must either be removed; alternatively, the -src flag can be -used when compiling. -

-

-Notice the new place to send bug reports (see GF's welcome message)! -

-

New features

-

-Grammar language -

- - -

-Shell commands and options (see help in GF for more information) -

- - -

-Libraries -

- - -

-Examples -

- - -

-Internal -

- - -

Issues

-

-Javascript generation is not updated to the new PGF format. -GF 3.1 should still be used for building Javascript applications. -

- - - - diff --git a/download/release-3.1.6.t2t b/download/release-3.1.6.t2t new file mode 100644 index 000000000..aec8bb650 --- /dev/null +++ b/download/release-3.1.6.t2t @@ -0,0 +1,64 @@ +GF Version 3.1.6 Release Notes +23 April 2010 + + +=Installation= + +The binaries now work out of the box for each platform and support +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 +with 3.1.6 and must either be removed; alternatively, the ``-src`` flag can be +used when compiling. + +Notice the new place to send bug reports (see GF's welcome message)! + + +=New features= + +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 + (see ``examples/animals/QuestionI.gf``) +- ``vd = visualize_dependency``: show dependency tree +- ``vp = visualize_parse``: show parse tree +- ``gr, gt, mq, tq``: use a seed tree with metavariables +- ``gr, p, tq``: use ``-probs=FILE`` to bias or rank generated trees +- ``gt`` now tries the different alternatives in the order in which they appear in the source code +- ``dg``: hide modules when printing dependency graph +- -output-format=lambda_prolog let us to use Lambda Prolog for exhaustive generation with dependent types + + +Libraries +- Urdu completed (Shafqat Virk) +- Turkish morphology + Zamberek's dictionary in GF (Server Cimen) + + +Examples +- SUMO +- phrasebook +- nqueens + + +Internal +- single PMCFG format for both linearization and parsing +- use of Haskeline for completion - more portable than Readline +- unicode support from Haskell 6.12 instead of home-made coding + + +==Issues== + +Javascript generation is not updated to the new PGF format. +[GF 3.1 old-index.html] should still be used for building Javascript applications. + + + + + diff --git a/download/release-3.1.6.txt b/download/release-3.1.6.txt deleted file mode 100644 index aec8bb650..000000000 --- a/download/release-3.1.6.txt +++ /dev/null @@ -1,64 +0,0 @@ -GF Version 3.1.6 Release Notes -23 April 2010 - - -=Installation= - -The binaries now work out of the box for each platform and support -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 -with 3.1.6 and must either be removed; alternatively, the ``-src`` flag can be -used when compiling. - -Notice the new place to send bug reports (see GF's welcome message)! - - -=New features= - -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 - (see ``examples/animals/QuestionI.gf``) -- ``vd = visualize_dependency``: show dependency tree -- ``vp = visualize_parse``: show parse tree -- ``gr, gt, mq, tq``: use a seed tree with metavariables -- ``gr, p, tq``: use ``-probs=FILE`` to bias or rank generated trees -- ``gt`` now tries the different alternatives in the order in which they appear in the source code -- ``dg``: hide modules when printing dependency graph -- -output-format=lambda_prolog let us to use Lambda Prolog for exhaustive generation with dependent types - - -Libraries -- Urdu completed (Shafqat Virk) -- Turkish morphology + Zamberek's dictionary in GF (Server Cimen) - - -Examples -- SUMO -- phrasebook -- nqueens - - -Internal -- single PMCFG format for both linearization and parsing -- use of Haskeline for completion - more portable than Readline -- unicode support from Haskell 6.12 instead of home-made coding - - -==Issues== - -Javascript generation is not updated to the new PGF format. -[GF 3.1 old-index.html] should still be used for building Javascript applications. - - - - - -- cgit v1.2.3