summaryrefslogtreecommitdiff
path: root/download
diff options
context:
space:
mode:
authorKrasimir Angelov <kr.angelov@gmail.com>2018-06-16 07:09:17 +0200
committerKrasimir Angelov <kr.angelov@gmail.com>2018-06-16 07:09:17 +0200
commit96f3484622866c156045bd1a03bb6145d2c06ba6 (patch)
tree740d0c673d38a789ba4ea3936432f81f6ec98d6a /download
parent10e10298d9716c35080c16887a3d50ac4668916a (diff)
parent9d2b92dbc1d9e221ce180497cd7d04e0757650a9 (diff)
Merge branch 'master' of https://github.com/GrammaticalFramework/GF
Diffstat (limited to 'download')
-rw-r--r--download/index-3.1.6.html93
-rw-r--r--download/old-index.html146
-rw-r--r--download/release-3.1.6.html87
-rw-r--r--download/release-3.1.6.t2t (renamed from download/release-3.1.6.txt)0
4 files changed, 0 insertions, 326 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/old-index.html b/download/old-index.html
deleted file mode 100644
index 74dabb08c..000000000
--- a/download/old-index.html
+++ /dev/null
@@ -1,146 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
-<HTML>
-<HEAD>
-<META NAME="generator" CONTENT="http://txt2tags.sf.net">
-<TITLE>Grammatical Framework Download and Installation</TITLE>
-<style>
-h1 { text-align: center; }
-h1,h2,h3 { font-family: sans-serif; }
-ul.downloads a { font-family: monospace; }
-</style>
-</HEAD>
-
-<BODY BGCOLOR="white" TEXT="black">
-<H1>Grammatical Framework<br>Download and Installation</H1>
-
-<H2>Latest developer code</H2>
-<P>
-<A HREF="../doc/gf-developers.html">GF darcs repository</A>
-</P>
-
-<H2>Latest release</h2>
-
-<dl>
-<dt>GF 3.1, 15 December 2009
-<dd>
-<p>
-<ul class=downloads>
- <li>For Linux (32-bit):
- <a href="gf-3.1-bin-i486-linux.tar.gz">gf-3.1-bin-i468-linux.tar.gz</a>
- <li>For Linux (64-bit):
- <a href="gf-3.1-bin-x86_64-linux.tar.gz">gf-3.1-bin-x86_64-linux.tar.gz</a>
- <li>For Mac:
- <a href="gf-3.1-bin-intel-mac.tar.gz">gf-3.1-bin-intel-mac.tar.gz</a>
- (Leopard &amp; Snow Leopard)
- <li>For Windows:
- <a href="gf-3.1-bin-i486-windows.zip">gf-3.1-bin-i486-windows.zip</a>
- <li>Source package:
- <a href="gf-3.1-src.tar.gz">gf-3.1-src.tar.gz</a>
- (a dump of the darcs repo)
- <li>Libraries: <a href="gf-lib-1.7.tar.gz">gf-lib-1.7.tar.gz</a>
- (sources, compiled as alltenses/present, docs)
-</ul>
-
-<H3>Installation instructions</H3>
-
-<ul>
-<li>Linux &amp; Mac binaries: <tt>tar xvfz</tt> in /
-<li>Windows binary: unzip in c:\
-<li>Compiled library:
- <tt>tar xvfz</tt> in some DIR and point the variable GF_LIB_PATH to DIR/lib.
-<li>
-Source package: <tt>tar xvfz</tt> somewhere and compile as follows:
-<P>
-<PRE>
- tar xvfz gf-3.0.tgz
- cd gf-3.0
-
- # alternative 1:
- runghc Setup configure
- runghc Setup build
- runghc Setup install
-
- # alternative 2:
- make
- make install
-</PRE>
-</dl>
-
-<H2>Old releases</H2>
-
-<dl>
-<dt>GF 3.0, 24 June 2009.
-<dd>
-<P>
-<ul>
-<li><A HREF="gf-3.0-mac.gz">Mac OS X Leopard (intel) executable</A>
- (requires Readline from <A HREF="http://www.macports.org/">Mac Ports</A>)
-<li><A HREF="gf-3.0-mac-noreadline.gz">Mac OS X Leopard (Intel) executable</A>
- (doesn't require Readline)
-<li><A HREF="gf-linux.tar.gz">Linux (intel) binary package</A>
-<li><A HREF="gf-win32.zip">Windows binary package</A>
-<li><A HREF="gf-lib-1.6.tgz">Compiled libraries, v. 1.6</A>
-<li><A HREF="gf-3.0-src.tgz">Source package for GF system (a dump of the darcs repo)</A>
-</ul>
-
-<H3>Installation instructions</H3>
-
-<p>
-Mac binary: gunzip and put somewhere on your path.
-<P>
-Linux: <tt>tar xvfz</tt> in /
-<P>
-Windows: unzip in c:\
-<p>
-Compiled library: <tt>tar xvfz</tt> in some DIR and point the variable GF_LIB_PATH to DIR/lib.
-<p>
-Source package: <tt>tar xvfz</tt> somewhere and compile as follows:
-<P>
-<PRE>
- tar xvfz gf-3.0.tgz
- cd gf-3.0
-
- # alternative 1:
- runghc Setup configure
- runghc Setup build
- runghc Setup install
-
- # alternative 2:
- make
- make install
-</PRE>
-</dl>
-
-
-GF 3.0 beta3, April 2009.
-<UL>
-<LI>
- <A HREF="GF-3.0-beta3-i386-apple-darwin9.6.0.tgz">Mac OS X Leopard (intel) binary package</A>
-<LI>
- <A HREF="gf-3.0-beta3.zip">Windows binary</A>
-
-<LI><A HREF="GF-3.0-beta3.tgz">GF 3.0 beta3 sources</A> (both system and library)
-</UL>
-3.0 beta2
-<UL>
-<LI><A HREF="GF-3.0-beta2-i686-pc-linux-gnu.tgz">GF 3.0 beta2 Linux binary package</A> (Intel, Ubuntu)
-<P></P>
-<LI>GF 3.0 beta2 MacOS X binary package:
- <A HREF="GF-3.0-beta2-i386-apple-darwin9.4.0.tgz">Leopard</A> (Intel Mac with MacOS X Leopard)
- <A HREF="GF-3.0-beta2-i386-apple-darwin8.11.1.tgz">Tiger</A> (Intel Mac with MacOS X Tiger)
-<P></P>
-<LI><A HREF="gf-3.0-beta2.zip">GF 3.0 beta2 Windows package</A> (includes libraries)
-<P></P>
-<LI><A HREF="GF-3.0-beta2.tgz">GF 3.0 beta2 sources</A> (both system and library)
-<P></P>
-<LI><A HREF="gf-lib-1.4.tgz">GF libraries v 1.4</A> (compiled resource grammar libraries)
-</UL>
-<!--
-<UL>
-<LI><A HREF="../../GF2/download/index.html">GF 2.9 download page</A>
-</UL>
--->
-
-<!-- html code generated by txt2tags 2.4 (http://txt2tags.sf.net) -->
-<!-- cmdline: txt2tags -thtml index.txt -->
-</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