updated index page - back in old place after all

2 files changed, 249 insertions, 211 deletions

diff --git a/deprecated/index.txt b/deprecated/index.txt
deleted file mode 100644
index 6068ffea1..000000000
--- a/deprecated/index.txt
+++ /dev/null
@@ -1,211 +0,0 @@
-
-
-
-%!postproc(html): "#BECE" "<center>"
-%!postproc(html): "#ENCE" "</center>"
-%!postproc(html): "#BESMALL" "<font size=-1>"
-%!postproc(html): "#ENSMALL" "</font>"
-%!postproc(html): "#BELARGE" "<font size=+2>"
-%!postproc(html): "#ENLARGE" "</font>"
-
-#BECE
-
-[doc/gf-logo.png]
-
-=Grammatical Framework=
-
-Version 3.0
-
-June 2008
-
-
-#BELARGE
-
-``[`` [Demos demos/index.html]
-``|`` [Download download/index.html]
-``|`` [Libraries lib/resource/doc/synopsis.html]
-``|`` [Reference doc/gf-refman.html]
-``|`` [Tutorial doc/gf-tutorial.html]
-``]`` 
-
-#ENLARGE
-
-``[`` [Demos demos/index.html]
-``|`` [Download download/index.html]
-``|`` [Developers doc/gf-developers.html]
-% ``|`` [Events doc/events.html]
-``|`` [Libraries lib/resource/doc/synopsis.html]
-``|`` [People doc/gf-people.html]
-% ``|`` [Projects doc/projects.html]
-``|`` [Publications doc/gf-bibliography.html]
-``|`` [QuickRefCard doc/gf-reference.html]
-``|`` [Reference doc/gf-refman.html]
-``|`` [Tutorial doc/gf-tutorial.html]
-``]`` 
-
-#ENCE
-
-
-#BESMALL
-
-==News==
-
-20 April 2009:
-On-line course "GF for Resource Grammar Writers" starting today at 15.30. See the
-[Summer School Google Group http://groups.google.com/group/gf-resource-school-2009]
-for instructions how to start.
-
-3 April 2009: 
-Two demos and one talk on GF at [EACL http://www.eacl2009.gr/conference/] in Athens.
-
-20 February 2009: 
-[GF Resource Grammar Summer School doc/gf-summerschool.html] 
-in Gothenburg, 17-28 August 2009.
-
-4 November 2008: 
-GHC 6.10 released, but it doesn't work with GF sources yet.
-If compiling GF from source, use e.g.
-[GHC 6.8.3 http://haskell.org/ghc/download_ghc_683.html].
-
-15 August 2008:
-[Numeral translator for the iPhone demos/index-numbers.html]
-
-27 June 2008: 
-[release of GF 3.0 doc/gf3-release.html] and this new web page; the old web page is 
-[here ../GF2/index.html].
-
-
-#ENSMALL
-
-
-==What is GF==
-
-GF, Grammatical Framework, is a programming language for 
-**multilingual grammar applications**. It is
-- a **special-purpose language for grammars**, like YACC, Bison, Happy, BNFC, 
-  but not restricted to programming languages
-- a **functional language**, like Haskell, Lisp, OCaml, Scheme, SML,
-  but specialized to grammar writing
-- a **natural language processing framework**, like LKB, XLE, Regulus,
-  but based on functional programming and type theory
-- a **categorial grammar formalism**, like ACG, CCG,
-  but different and equipped with different tools
-- a **logical framework**, like Agda, Coq, Isabelle,
-  but equipped with concrete syntax in addition to logic
-
-
-Don't worry if you don't know most of the references above - but if you do know at
-least one, it may help you to get a first idea of what GF is.
-
-
-==Applications==
-
-GF can be used for building
-- [text translators lib/resource/doc/resdemo.html]
-- [speech translators http://www.cs.chalmers.se/~bringert/gf/translatespeech.html]
-- [natural-language interfaces http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html]
-- [multilingual web pages http://www.restauranggajden.se/tomas/]
-- [multilingual authoring systems http://www.cs.chalmers.se/~markus/gramlets/letter-applet.html]
-- [dialogue systems http://www.cs.chalmers.se/~bringert/xv/pizza/]
-- [language training systems http://csmisc14.cs.chalmers.se/~bjorn/langtrain.cgi]
-- [natural language resources lib/resource/doc/synopsis.html]
-
-
-==Availability==
-
-GF is **open-source**, licensed under [GPL LICENSE] (the program) and 
-[LGPL lib/LICENSE] (the libraries). It
-is available for 
-- Linux
-- Mac OS X
-- Windows
-- via compilation to JavaScript, almost any platform that has a web browser
-
-
-==Projects==
-
-GF was first created in 1998 at 
-[Xerox Research Centre Europe http://www.xrce.xerox.com/], 
-Grenoble, in the project
-Multilingual Document Authoring. At Xerox, it was used for prototypes including
-a restaurant phrase book,
-a database query system,
-a formalization of an alarm system instructions with translations to 5 languages, and
-an authoring system for medical drug descriptions.
-
-Later projects using GF and involving third parties include, in chronological order,
-- [GF-Alfa http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html]: 
-  natural language interface to formal proofs
-- [Efficient http://efficient.citi.tudor.lu/index_noframe.html]:
-  authoring tool for business models.
-- [GF-KeY http://www.key-project.org/]: 
-  authoring and translation of software specifications
-- [TALK http://www.talk-project.org]: 
-  multilingual and multimodal spoken dialogue systems
-- [WebALT http://webalt.math.helsinki.fi/]: 
-  multilingual generation of mathematical exercises (commercial project)
-- [SALDO http://spraakbanken.gu.se/sal/]: 
-  Swedish morphological dictionary based on rules developed for GF and
-  [Functional Morphology http://www.cs.chalmers.se/~markus/FM/]
-
-
-Academically, GF has been used in four PhD theses and resulted in around
-fifty scientific publications (see [GF publication list doc/gf-bibliography.html]).
-
-
-==Programming in GF==
-
-GF is easy to learn by following the [tutorial doc/gf-tutorial.html]. 
-You can write your first translator in 15 minutes.
-
-GF has an interactive command interpreter, as well as a batch compiler. 
-Grammars can be compiled to parser and translator code in many different 
-formats.  These components can then be embedded in applications written 
-in other programming languages. The formats currently supported are:
-- Haskell
-- Java
-- JavaScript
-- Prolog
-- Speech recognition: HTK/ATK, Nuance, JSGF
-
-
-The GF programming language is high-level and advanced, featuring
-- static type checking
-- higher-order functions
-- dependent types
-- pattern matching with data constructors and regular expressions
-- module system with multiple inheritance and parametrized modules
-
-
-==Libraries==
-
-Libraries are at the heart of modern software engineering. In natural language 
-applications, libraries are a way to cope with thousands of details involved in
-syntax, lexicon, and inflection. The 
-[GF resource grammar library lib/resource/doc/synopsis.html] has
-support for an increasing number of languages, currently including
-+ Arabic (partial)
-+ Bulgarian
-+ Catalan (partial)
-+ Danish
-+ English
-+ Finnish
-+ French
-+ German 
-+ Hindi/Urdu (fragments)
-+ [Interlingua http://www.interlingua.com/]
-+ Italian
-+ Norwegian bokm�l
-+ Russian
-+ Spanish
-+ Swedish
-+ Thai (fragments)
-
-
-Adding a language to the resource library takes 3 to 9 
-months - contributions 
-are welcome!
-
-% [doc/10lang-small.png]
-
-
diff --git a/deprecated/v3.0-index.html b/deprecated/v3.0-index.html
new file mode 100644
index 000000000..ce9e342d5
--- /dev/null
+++ b/deprecated/v3.0-index.html
@@ -0,0 +1,249 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
+<HTML>
+<HEAD>
+<META NAME="generator" CONTENT="http://txt2tags.sf.net">
+</HEAD><BODY BGCOLOR="white" TEXT="black">
+<FONT SIZE="4">
+</FONT></CENTER>
+
+<P>
+<center>
+</P>
+<P>
+<IMG ALIGN="middle" SRC="doc/gf-logo.png" BORDER="0" ALT="">
+</P>
+<H1>Grammatical Framework</H1>
+<P>
+Version 3.1
+</P>
+<P>
+14 December 2009
+</P>
+<P>
+<font size=+2>
+</P>
+<P>
+<CODE>[</CODE> <A HREF="demos/index.html">Demos</A>
+<CODE>|</CODE> <A HREF="download/index.html">Download</A>
+<CODE>|</CODE> <A HREF="lib//doc/synopsis.html">Libraries</A>
+<CODE>|</CODE> <A HREF="doc/gf-refman.html">Reference</A>
+<CODE>|</CODE> <A HREF="doc/gf-tutorial.html">Tutorial</A>
+<CODE>]</CODE> 
+</P>
+<P>
+</font>
+</P>
+<P>
+<CODE>[</CODE> <A HREF="demos/index.html">Demos</A>
+<CODE>|</CODE> <A HREF="download/index.html">Download</A>
+<CODE>|</CODE> <A HREF="doc/gf-developers.html">Developers</A>
+<CODE>|</CODE> <A HREF="lib/doc/synopsis.html">Libraries</A>
+<CODE>|</CODE> <A HREF="doc/gf-people.html">People</A>
+<CODE>|</CODE> <A HREF="doc/gf-bibliography.html">Publications</A>
+<CODE>|</CODE> <A HREF="doc/gf-reference.html">QuickRefCard</A>
+<CODE>|</CODE> <A HREF="doc/gf-refman.html">Reference</A>
+<CODE>|</CODE> <A HREF="doc/gf-tutorial.html">Tutorial</A>
+<CODE>]</CODE> 
+</P>
+<P>
+</center>
+</P>
+<P>
+<font size=-1>
+</P>
+<H2>News</H2>
+
+24 November 2009: We have problems with the release via Darcs. You can 
+download a recent snapshot of GF (sources, libraries, documentation)
+<a href="./gf-091124.tgz">here</a> (<tt>gf-[date].tgz</tt>, 13 MB).
+<p>
+24 June 2009: GF version 3.0 released. No longer beta!
+<p>
+4 June 2009: GF sources (from the darcs repository) can now be compiled with GHC 6.10.3, but no
+longer with GHC 6.8.
+<p>
+29 April 2009: GF online course available as videos: see "News" under the
+<a href="doc/gf-summerschool.html">GF Summer School Web Page</a>. 
+<P>
+20 April 2009:
+On-line course "GF for Resource Grammar Writers" starting today at 15.30. See the
+<A HREF="http://groups.google.com/group/gf-resource-school-2009">Summer School Google Group</A>
+for instructions how to start.
+</P>
+<P>
+3 April 2009: 
+Two demos and one talk on GF at <A HREF="http://www.eacl2009.gr/conference/">EACL</A> in Athens.
+</P>
+<P>
+20 February 2009: 
+<A HREF="doc/gf-summerschool.html">GF Resource Grammar Summer School</A> 
+in Gothenburg, 17-28 August 2009.
+</P>
+<P>
+4 November 2008: 
+GHC 6.10 released, but it doesn't work with GF sources yet.
+If compiling GF from source, use e.g.
+<A HREF="http://haskell.org/ghc/download_ghc_683.html">GHC 6.8.3</A>.
+</P>
+<P>
+15 August 2008:
+<A HREF="demos/index-numbers.html">Numeral translator for the iPhone</A>
+</P>
+<P>
+27 June 2008: 
+<A HREF="doc/gf3-release.html">release of GF 3.0</A> and this new web page; the old web page is 
+<A HREF="../GF2/index.html">here</A>.
+</P>
+<P>
+</font>
+</P>
+<H2>What is GF</H2>
+<P>
+GF, Grammatical Framework, is a programming language for 
+<B>multilingual grammar applications</B>. It is
+</P>
+<UL>
+<LI>a <B>special-purpose language for grammars</B>, like YACC, Bison, Happy, BNFC, 
+  but not restricted to programming languages
+<LI>a <B>functional language</B>, like Haskell, Lisp, OCaml, Scheme, SML,
+  but specialized to grammar writing
+<LI>a <B>natural language processing framework</B>, like LKB, XLE, Regulus,
+  but based on functional programming and type theory
+<LI>a <B>categorial grammar formalism</B>, like ACG, CCG,
+  but different and equipped with different tools
+<LI>a <B>logical framework</B>, like Agda, Coq, Isabelle,
+  but equipped with concrete syntax in addition to logic
+</UL>
+
+<P>
+Don't worry if you don't know most of the references above - but if you do know at
+least one, it may help you to get a first idea of what GF is.
+</P>
+<H2>Applications</H2>
+<P>
+GF can be used for building
+</P>
+<UL>
+<LI><A HREF="old-lib/resource/doc/resdemo.html">text translators</A>
+<LI><A HREF="http://www.cs.chalmers.se/~bringert/gf/translatespeech.html">speech translators</A>
+<LI><A HREF="http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html">natural-language interfaces</A>
+<!-- <LI><A HREF="http://www.restauranggajden.se/tomas/">multilingual web pages</A> -->
+<LI><A HREF="http://www.cs.chalmers.se/~markus/gramlets/letter-applet.html">multilingual authoring systems</A>
+<LI><A HREF="http://www.cs.chalmers.se/~bringert/xv/pizza/">dialogue systems</A>
+<!-- <LI><A HREF="http://csmisc14.cs.chalmers.se/~bjorn/langtrain.cgi">language training systems</A> -->
+<LI><A HREF="lib/doc/synopsis.html">natural language resources</A>
+</UL>
+
+<H2>Availability</H2>
+<P>
+GF is <B>open-source</B>, licensed under <A HREF="LICENSE">GPL</A> (the program) and 
+<A HREF="lib/LICENSE">LGPL</A> (the libraries). It
+is available for 
+</P>
+<UL>
+<LI>Linux
+<LI>Mac OS X
+<LI>Windows
+<LI>via compilation to JavaScript, almost any platform that has a web browser
+</UL>
+
+<H2>Projects</H2>
+<P>
+GF was first created in 1998 at 
+<A HREF="http://www.xrce.xerox.com/">Xerox Research Centre Europe</A>, 
+Grenoble, in the project
+Multilingual Document Authoring. At Xerox, it was used for prototypes including
+a restaurant phrase book,
+a database query system,
+a formalization of an alarm system instructions with translations to 5 languages, and
+an authoring system for medical drug descriptions.
+</P>
+<P>
+Later projects using GF and involving third parties include, in chronological order,
+</P>
+<UL>
+<LI><A HREF="http://www.cs.chalmers.se/~hallgren/Alfa/Tutorial/GFplugin.html">GF-Alfa</A>: 
+  natural language interface to formal proofs
+<LI><A HREF="http://efficient.citi.tudor.lu/index_noframe.html">Efficient</A>:
+  authoring tool for business models.
+<LI><A HREF="http://www.key-project.org/">GF-KeY</A>: 
+  authoring and translation of software specifications
+<LI><A HREF="http://www.talk-project.org">TALK</A>: 
+  multilingual and multimodal spoken dialogue systems
+<LI><A HREF="http://webalt.math.helsinki.fi/">WebALT</A>: 
+  multilingual generation of mathematical exercises (commercial project)
+<LI><A HREF="http://spraakbanken.gu.se/sal/">SALDO</A>: 
+  Swedish morphological dictionary based on rules developed for GF and
+  <A HREF="http://www.cs.chalmers.se/~markus/FM/">Functional Morphology</A>
+</UL>
+
+<P>
+Academically, GF has been used in four PhD theses and resulted in around
+fifty scientific publications (see <A HREF="doc/gf-bibliography.html">GF publication list</A>).
+</P>
+<H2>Programming in GF</H2>
+<P>
+GF is easy to learn by following the <A HREF="doc/gf-tutorial.html">tutorial</A>. 
+You can write your first translator in 15 minutes.
+</P>
+<P>
+GF has an interactive command interpreter, as well as a batch compiler. 
+Grammars can be compiled to parser and translator code in many different 
+formats.  These components can then be embedded in applications written 
+in other programming languages. The formats currently supported are:
+</P>
+<UL>
+<LI>Haskell
+<LI>Java
+<LI>JavaScript
+<LI>Prolog
+<LI>Speech recognition: HTK/ATK, Nuance, JSGF
+</UL>
+
+<P>
+The GF programming language is high-level and advanced, featuring
+</P>
+<UL>
+<LI>static type checking
+<LI>higher-order functions
+<LI>dependent types
+<LI>pattern matching with data constructors and regular expressions
+<LI>module system with multiple inheritance and parametrized modules
+</UL>
+
+<H2>Libraries</H2>
+<P>
+Libraries are at the heart of modern software engineering. In natural language 
+applications, libraries are a way to cope with thousands of details involved in
+syntax, lexicon, and inflection. The 
+<A HREF="lib/doc/synopsis.html">GF resource grammar library</A> has
+support for an increasing number of languages, currently including
+</P>
+<OL>
+<LI>Arabic (partial)
+<LI>Bulgarian
+<LI>Catalan (partial)
+<LI>Danish
+<LI>English
+<LI>Finnish
+<LI>French
+<LI>German 
+<LI>Hindi/Urdu (fragments)
+<LI><A HREF="http://www.interlingua.com/">Interlingua</A>
+<LI>Italian
+<LI>Norwegian bokm�l
+<LI>Russian
+<LI>Spanish
+<LI>Swedish
+<LI>Thai (fragments)
+</OL>
+
+<P>
+Adding a language to the resource library takes 3 to 9 
+months - contributions 
+are welcome!
+</P>
+
+<!-- html code generated by txt2tags 2.5 (http://txt2tags.sf.net) -->
+<!-- cmdline: txt2tags -\-target=html index.txt -->
+</BODY></HTML>