3 files changed, 0 insertions, 180 deletions
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 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
-<HTML>
-<HEAD>
-<META NAME="generator" CONTENT="http://txt2tags.sf.net">
-<TITLE>Grammatical Framework Download and Installation</TITLE>
-</HEAD><BODY BGCOLOR="white" TEXT="black">
-<P ALIGN="center"><CENTER><H1>Grammatical Framework Download and Installation</H1>
-<FONT SIZE="4">
-<I>Version 3.1.6, 23 April 2010</I><BR>
-</FONT></CENTER>
-
-<H2>Latest developer code</H2>
-<P>
-<A HREF="../doc/darcs.html">GF darcs repository</A>
-</P>
-<H2>Latest release</H2>
-<P>
-GF 3.1.6 released 23 April 2010.
-</P>
-<UL>
-<LI>MacOS X installer package:
-  <A HREF="gf-3.1.6-leopard.pkg"><CODE>gf-3.1.6-leopard.pkg</CODE></A> (7.7MB)
-<LI>MacOS X (gzipped executable, Leopard and Snow Leopard):
-  <A HREF="gf-3.1.6-bin-intel-mac.gz"><CODE>gf-3.1.6-bin-intel-mac.gz</CODE></A> (1.9MB)
-<LI>Windows (zipped executable):
-  <A HREF="gf-3.1.6-bin-i486-windows.zip"><CODE>gf-3.1.6-bin-i486-windows.zip</CODE></A>
-  (1.6 MB)
-<LI>Ubuntu Linux (gzipped executable): 
-  <A HREF="gf-3.1.6-bin-i486-linux.gz"><CODE>gf-3.1.6-bin-i486-linux.gz</CODE></A>
-  (1.7 MB)
-<LI>compiled library package:
-  <A HREF="gf-3.1.6-lib.tar.gz"><CODE>gf-3.1.6-lib.tar.gz</CODE></A>
-  (4.4 MB)
-<LI>full source package (GF system, libraries, examples, documentation):
-  <A HREF="gf-3.1.6-src.tar.gz"><CODE>gf-3.1.6-src.tar.gz</CODE></A>
-  (11 MB)
-<P></P>
-GF is also on <A HREF="http://hackage.haskell.org/package/gf">Hackage</A>
-</UL>
-
-<P>
-What's new? See the <A HREF="release-3.1.6.html">release notes</A>.
-</P>
-<H2>Previous releases</H2>
-<P>
-<A HREF="old-index.html">Follow this link</A>.
-</P>
-<H2>Installation instructions</H2>
-<P>
-The Windows package is installed by just unpacking it anywhere. 
-It finds the libraries relative to the <CODE>.exe</CODE> file.
-</P>
-<P>
-To install a binary package for MacOS X or Linux: uncompress the executable and
-put it somewhere on your path, renaming it to just <CODE>gf</CODE>. For instance:
-</P>
-<PRE>
-    gunzip gf-bin-[version].gz
-    sudo mv gf-bin-[version] /usr/local/bin/gf
-</PRE>
-<P>
-To install the libraries (if done separately), unpack them in the place to which your
-<CODE>GF_LIB_PATH</CODE> points.
-</P>
-<PRE>
-    cd $GF_LIB_PATH
-    gtar xvfz gf-lib-[VERSION].tgz
-</PRE>
-<P>
-If this variable hasn't been defined, it is useful define it, e.g.
-</P>
-<PRE>
-    export GF_LIB_PATH=/usr/local/lib/gf/
-</PRE>
-<P></P>
-<P>
-To compile and install from source on Mac or Linux, do:
-</P>
-<PRE>
-    tar xvfz gf-[VERSION].tgz
-    cd GF/src
-    runghc Setup configure --user
-    runghc Setup build
-    runghc Setup install
-</PRE>
-<P>
-The last command must be prefixed by <CODE>sudo</CODE>, if the installation is outside
-user-writeable area.
-</P>
-
-<!-- html code generated by txt2tags 2.5 (http://txt2tags.sf.net) -->
-<!-- cmdline: txt2tags -thtml ./download/index-3.1.6.t2t -->
-</BODY></HTML>
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 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
-<HTML>
-<HEAD>
-<META NAME="generator" CONTENT="http://txt2tags.sf.net">
-<TITLE>GF Version 3.1.6 Release Notes</TITLE>
-</HEAD><BODY BGCOLOR="white" TEXT="black">
-<P ALIGN="center"><CENTER><H1>GF Version 3.1.6 Release Notes</H1>
-<FONT SIZE="4">
-<I>23 April 2010</I><BR>
-</FONT></CENTER>
-
-<H1>Installation</H1>
-<P>
-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.
-</P>
-<P>
-To compile from source, GHC 6.12 is now required. But GHC is not needed
-if the binary executables are used.
-</P>
-<P>
-Binaries (<CODE>.gfo</CODE> and <CODE>.pgf</CODE> files) compiled with GF 3.1 are incompatible 
-with 3.1.6 and must either be removed; alternatively, the <CODE>-src</CODE> flag can be
-used when compiling.
-</P>
-<P>
-Notice the new place to send bug reports (see GF's welcome message)!
-</P>
-<H1>New features</H1>
-<P>
-Grammar language
-</P>
-<UL>
-<LI>improved support for dependent types (see <CODE>SUMO</CODE>, <CODE>nqueens</CODE> in <CODE>examples</CODE>)
-</UL>
-
-<P>
-Shell commands and options (see <CODE>help</CODE> in GF for more information) 
-</P>
-<UL>
-<LI><CODE>eb</CODE>: example-based grammar file conversion 
-  (see <CODE>examples/animals/QuestionI.gf</CODE>)
-<LI><CODE>vd = visualize_dependency</CODE>: show dependency tree
-<LI><CODE>vp = visualize_parse</CODE>: show parse tree
-<LI><CODE>gr, gt, mq, tq</CODE>: use a seed tree with metavariables
-<LI><CODE>gr, p, tq</CODE>: use <CODE>-probs=FILE</CODE> to bias or rank generated trees
-<LI><CODE>gt</CODE> now tries the different alternatives in the order in which they appear in the source code
-<LI><CODE>dg</CODE>: hide modules when printing dependency graph
-<LI>-output-format=lambda_prolog let us to use Lambda Prolog for exhaustive generation with dependent types
-</UL>
-
-<P>
-Libraries
-</P>
-<UL>
-<LI>Urdu completed (Shafqat Virk)
-<LI>Turkish morphology + Zamberek's dictionary in GF (Server Cimen)
-</UL>
-
-<P>
-Examples
-</P>
-<UL>
-<LI>SUMO
-<LI>phrasebook
-<LI>nqueens
-</UL>
-
-<P>
-Internal
-</P>
-<UL>
-<LI>single PMCFG format for both linearization and parsing
-<LI>use of Haskeline for completion - more portable than Readline
-<LI>unicode support from Haskell 6.12 instead of home-made coding
-</UL>
-
-<H2>Issues</H2>
-<P>
-Javascript generation is not updated to the new PGF format.
-<A HREF="old-index.html">GF 3.1</A> should still be used for building Javascript applications.
-</P>
-
-<!-- html code generated by txt2tags 2.5 (http://txt2tags.sf.net) -->
-<!-- cmdline: txt2tags -thtml release-3.1.6.txt -->
-</BODY></HTML>
diff --git a/download/release-3.1.6.txt b/download/release-3.1.6.t2t
index aec8bb650..aec8bb650 100644
--- a/download/release-3.1.6.txt
+++ b/download/release-3.1.6.t2t