index etc

author: aarne <unknown> 2005-05-17 18:50:43 +0000
committer: aarne <unknown> 2005-05-17 18:50:43 +0000
commit: 6dd070f12e2a957adf54485b967d2fbe38b1941b (patch)
tree: 181ecadbd8d139eb8a53806b3eb76a9d260fd59e
parent: 1d6094c7efd1c770b20ec48b443d0334221c54ea (diff)
3 files changed, 482 insertions, 1 deletions
diff --git a/doc/gf-index.html b/doc/gf-index.html
index a7b24a1da..749c0e524 100644
--- a/doc/gf-index.html
+++ b/doc/gf-index.html
@@ -72,7 +72,7 @@ Expressivity and Complexity of the  Grammatical Framework</a>.
 <i>November 8, 2004</i>. GF 2.1 released.
 Here are the <a
 href="doc/gf2-highlights.html">highlights</a>.
-Software available on the <a href="download/gf-download.html">GF 2.1 Download
+Software available on the <a href="../GF2.1/download/gf-download.html">GF 2.1 Download
 Page</a>.
 <p>
 Main novelties in 2.1: 
diff --git a/doc/gf-people.html b/doc/gf-people.html
new file mode 100644
index 000000000..05598dd9e
--- /dev/null
+++ b/doc/gf-people.html
@@ -0,0 +1,121 @@
+<html> 
+
+<head>
+<title>GF People</title>
+</head>
+
+<body bgcolor="#FFFFFF" text="#000000" >
+
+<center>
+<IMG SRC="../gf-logo.gif">
+
+<h1>Grammatical Framework: Authors and Acknowledgements</h1>
+
+</center>
+
+Most of the code is by
+<a href="http://www.cs.chalmers.se/~aarne">Aarne Ranta</a>,
+and bug reports should be mailed
+<a href="mailto:aarne@cs.chalmers.se">to him</a>.
+
+
+<p>
+
+The following people have contributed code to the current version:
+
+<p>
+
+<a href="http://www.cs.chalmers.se/~bringert">Björn Bringert</a> (Chalmers)
+<br>
+Håkan Burden (Göteborg University)
+<br>
+<a href="http://www.cs.chalmers.se/~markus">Markus Forsberg</a> (Chalmers)
+<br>
+<a href="http://www.cs.chalmers.se/~hallgren">Thomas Hallgren</a> (Chalmers)
+<br>
+<a href="http://www.cs.chalmers.se/~krijo">Kristofer Johannisson</a> (Chalmers)
+<br>
+<a href="http://www.cs.chalmers.se/~janna">Janna Khegai</a>  (Chalmers)
+<br>
+<a href="http://www.cs.chalmers.se/~peb">Peter Ljunglöf</a>  (Chalmers)
+<br>
+Petri Mäenpää (Nokia)
+
+<p>
+
+At least the following colleagues are thanked for suggestions,
+bug reports, and other indirect contributions to the code:
+
+<p>
+
+<a href="http://www.di.unito.it/~stefano/">Stefano Berardi</a> (Torino),
+
+Pascal Boldini (Paris),
+
+<a href="http://www.dur.ac.uk/~dcs0pcc/">Paul Callaghan</a> (Durham),
+
+Lauri Carlson (Helsinki),
+
+<a href="http://www.cs.chalmers.se/~koen">Koen Claessen</a> (Chalmers),
+
+<a href="http://www.cling.gu.se/~cooper">Robin Cooper</a> (Gothenburg),
+
+<a href="http://www.cs.chalmers.se/~coquand">Thierry Coquand</a> (Chalmers),
+
+<a
+href="http://www.xrce.xerox.com/people/dymetman/dymetman.html">Marc
+Dymetman</a> (XRCE),
+
+Bertrand Grégoire (Tudor Institure, Luxembourg),
+
+<a href="http://www.cs.chalmers.se/~reiner">Reiner Hähnle</a> (Chalmers),
+
+<a href="http://pauillac.inria.fr/~huet/">Gérard Huet</a> (INRIA),
+
+<a href="http://www.cs.chalmers.se/~patrikj">Patrik Jansson</a> (Chalmers),
+
+Bernard Jaulin (Paris),
+
+<a href="http://www.xrce.xerox.com/people/karttunen/karttunen.html">
+Lauri Karttunen</a> (PARC),
+
+Matti Kinnunen (Nokia),
+
+<a
+href="http://www.xrce.xerox.com/people/lux/">Veronika
+Lux</a> (XRCE),
+
+Per Martin-Löf (Stockholm),
+
+<a href="http://www.cs.chalmers.se/~bengt">Bengt Nordström</a> (Chalmers),
+
+<a
+href="http://www.cis.uni-muenchen.de/studenten/stud_homepages/okrslar/reklame.html">
+Martin Okrslar</a> (CIS),
+
+Jianmin Pang (Durham),
+
+<a
+href="http://www.xrce.xerox.com/people/pogodalla/index.fr.html">Sylvain
+Pogodalla</a> (XRCE),
+
+<a href="http://www.inria.fr/Loic.Pottier">Loïc Pottier</a> (INRIA),
+
+
+<a href="http://www2.parc.com/istl/members/zaenen/">Annie Zaenen</a> (PARC)
+
+<p>
+
+The GF logo was designed by Uula Ranta.
+
+<p>
+
+From 2001 to 2004, GF enjoyed funding from the
+<a href="http://www.vinnova.se">Vinnova</a> foundation, within the
+<a href="http://www.cs.chalmers.se/Cs/Research/Language-technology/ILT.html">
+Interactive Languge Technology</a> project.
+
+
+</body>
+</html> 
+
diff --git a/index.html b/index.html
new file mode 100644
index 000000000..7ba2f45fd
--- /dev/null
+++ b/index.html
@@ -0,0 +1,360 @@
+<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
+<html><head><title>GF Version 2.0</title></head>
+ 
+
+<body bgcolor="#ffffff" text="#000000">
+
+<center>
+<img src="gf-logo.gif">
+
+<h1>Grammatical Framework</h1>
+
+<h2>Version 2.2</h2>
+
+May 17, 2005.
+
+
+</center>
+
+<p>
+
+</p><h2>News</h2>
+
+
+<i>May 17, 2005</i>. Version 2.2 released. See
+<a href="doc/gf2.2-highlights.html">highlights</a>.
+Download from
+<a href="http://sourceforge.net/project/showfiles.php?group_id=132285">SourceForge</a>.
+
+<p>
+
+<i>May 12, 2005</i>. GF now has a mailing list, to which you can register
+<a href="https://lists.sourceforge.net/lists/listinfo/gf-tools-users">here</a>.
+GF also has a project page on SourceForge, 
+<a
+href="https://sourceforge.net/projects/gf-tools">
+https://sourceforge.net/projects/gf-tools</a>,
+but this page does not yet have much content.
+
+<p>
+
+<i>May 9, 2005</i>.
+PhD Thesis by
+<a href="http://www.cs.chalmers.se/~krijo">Kristofer Johannisson</a>:
+<a href="http://www.cs.chalmers.se/~krijo/thesis/thesisA4.pdf">
+Formal and Informal Software Specifications</a>.
+
+<p>
+
+
+<i>March 15, 2005</i>.
+Master's thesis by 
+<a href="http://www.cs.chalmers.se/~bringert/">Björn Bringert</a> on
+<a
+href="http://www.dtek.chalmers.se/~d00bring/publ/exjobb/embedded-grammars.pdf">
+Embedded grammars</a>:
+GF grammars that can be used as parts of Java programs. And a
+<a
+href="http://www.cs.chalmers.se/~bringert/misc/tramdemo.avi">demo film</a>
+of a multimodal dialogue system built with embedded grammars.
+
+<p>
+
+
+<i>November 9, 2004</i>.
+PhD Thesis by
+<a href="http://www.cs.chalmers.se/~peb">Peter Ljunglöf</a>:
+<a href="http://www.cs.chalmers.se/~peb/pubs/p04-PhD-thesis.pdf">
+Expressivity and Complexity of the  Grammatical Framework</a>.
+
+<p>
+
+<i>November 8, 2004</i>. GF 2.1 released.
+Here are the <a
+href="doc/gf2-highlights.html">highlights</a>.
+Software available on the <a href="../GF2.0/download/gf-download.html">GF 2.1 Download
+Page</a>.
+<p>
+Main novelties in 2.1: 
+multiple inheritance of grammar modules, 
+speech recognition grammar generation,
+lots of bug fixes.
+
+<p>
+
+Version 2.0 still available
+on the <a href="../GF2.0/download-2.0/gf-download.html">GF 2.0 Download Page</a>.
+
+<p>
+
+If you need something from the previous version of the web page, it is
+still available:
+<a href="http://www.cs.chalmers.se/~aarne/GF1">
+GF 1.2</a>.
+
+
+
+
+</p><h2>What is GF?</h2>
+
+The Grammatical Framework (=GF) is a grammar formalism based on type
+theory. It consists of 
+<ul>
+  <li> a special-purpose programming language
+  </li><li> a compiler of the language
+  </li><li> a generic grammar processor
+</li></ul>
+The compiler reads
+GF grammars from user-provided files, 
+and the generic grammar processor performs
+various tasks with the grammars:
+<ul>
+  <li> generation
+  </li><li> parsing
+  </li><li> translation
+  </li><li> type checking
+  </li><li> computation
+  </li><li> paraphrasing
+  </li><li> random and exhaustive generation
+  </li><li> syntax editing
+</li></ul>
+GF particularly addresses two aspects of grammars:
+<ul>
+  <li> multilinguality (parallel grammars for different languages)
+  </li><li> semantics (semantic conditions of well-formedness, semantic
+       properties of expressions)
+</li></ul>
+GF Version 2.0 adds the aspect of
+<ul>
+<li> modularity and grammar engineering.
+</ul>
+GF is open-source software licensed under 
+<a href="LICENSE">GNU General Public License (GPL)</a>.
+
+
+
+<h2>Examples and demos</h2>
+
+<a href="http://www.cs.chalmers.se/~bringert/gf/translate/">Numeral
+translator</a>: recognizes and generates 
+numbers from 1 to 999,999 in 80 languages.
+(The link goes to a live applet, which requires 
+<a href="http://java.sun.com/j2se/1.5.0/download.jsp">Java 1.5 plugin</a>. 
+Here is an <a href="doc/2341.html">example</a>, which does 
+not require the plugin.)
+
+<p>
+
+<a href="http://www.cs.chalmers.se/%7Ekrijo/gramlets/letter-applet.html">Letter 
+editor</a>: 
+write simple letters in English, Finnish,
+French, Swedish, and Russian with a few mouse clicks.
+
+<p>
+
+<a href="lib/resource/doc/gf-resource.html">Resource grammar library</a>: 
+basic structures of ten languages
+(Danish, English, Finnish, French, German, Italian, Norwegian, Russian, Spanish, Swedish).
+Resource grammars can be used as libraries for writing GF
+applications,
+but they can also be useful for language training.
+
+
+<h2>Executable programs</h2>
+
+GF is available precompiled for
+several platforms: Linux, Mac OS X, Microsoft Windows, and Sun OS.
+For more information, see the <a href="http://sourceforge.net/project/showfiles.php?group_id=132285">Download Page</a> (at SourceForge).
+
+
+<h2>Source code</h2>
+
+The main part of GF is written in
+<a href="http://www.haskell.org/">Haskell</a>.
+
+<p>
+
+The platform-independent graphical user interface is written in
+<a href="http://java.sun.com/">Java</a>.
+
+
+</p><p>
+
+The <a href="http://sourceforge.net/project/showfiles.php?group_id=132285">Download Page</a> (at SourceForge) gives links to source and binary packages, as well as
+information on compiler requirements.
+
+
+</p><h2>Documents</h2>
+
+<ul>
+<li>
+<a href="../GF2.0/doc/javaGUImanual/javaGUImanual.htm">User's tutorial</a>
+on editing in the Java interface.
+
+
+<li>
+  <a href="doc/tutorial/01-gf-tutorial2.html">New Grammarian's Tutorial</a>,
+based on the module system (unfinished).
+More up-to-date but ess detailed than the next one.
+
+</li><li>
+<a href="../GF2.0/Tutorial/gf-tutorial.html">Old Grammarian's Tutorial</a>
+on writing GF grammars, with exercises.
+
+</li><li>
+<a href="../GF2.0/doc/short/01-gf-short.html">
+GF in 25 Minutes</a> for programmers.
+
+</li><li>
+<a href="http://www.cs.chalmers.se/~aarne/articles/gf-jfp.ps.gz">Grammatical Framework: A Type-Theoretical
+Grammar Formalism</a> (ps.gz). Theoretical paper on GF by A. Ranta, appeared
+in <i>The Journal of Functional Programming</i>, vol. 14:2. 2004, pp. 145-189.
+Also serves as language document.
+
+<li> <a href="doc/gf-modules.html">Module system document</a>, complements the
+previous paper by a description of the module system.
+
+</li><li>
+<a href="doc/gf-manual.html">
+User Manual</a> explaining the GF user interfaces and command language (slightly
+outdated).
+
+</li><li>
+<a href="doc/DocGF.pdf">
+Language specification</a> of the GF grammar formalism.
+
+</li><li>
+<a href="../GF2.0/doc/gf2-highlights.html">
+Highlights</a> of Version 2.1 and 2.0 (in comparison with version 1.2).
+
+
+</li><li> 
+<a href="http://www.cs.chalmers.se/~aarne/slides/gf-rocquencourt.pdf">
+Slides on GF theory and implementation</a> given
+at INRIA Rocquencourt in December 2003.
+
+</li><li> 
+<a
+href="http://www.cs.chalmers.se/~aarne/slides/multi-eng-slides.pdf">
+Slides on multilingual grammar engineering</a> and some examples of
+using the modules system of GF 2.0.
+
+</li><li> 
+PhD Thesis by
+<a href="http://www.cs.chalmers.se/~peb">Peter Ljunglöf</a>:
+<a href="http://www.cs.chalmers.se/~peb/papper/avhandling.pdf">
+Expressivity and Complexity of the  Grammatical Framework</a>.
+Language-theoretical study of GF and its parsing problem.
+
+</li><li> 
+<a href="../GF2.0/doc/gf-bibliography.html">
+Bibliography</a>: 
+publications on GF, as well as background literature.
+</li></ul>
+
+
+
+<h2>Projects and events</h2>
+
+<a href="http://www.talk-project.org">TALK</a> = Tools for Ambient Linguistic
+Knowledge</a>. GF is used in implementing multimodal and multilingual dialogue systems.
+
+<p>
+
+<a href="http://www.key-project.org/">KeY</a> project on Integrated Deductive
+Software Design. GF is used for
+authoring informal and formal specifications. More details on the GF
+application
+<a href="http://www.cs.chalmers.se/%7Ekrijo/gfspec">
+here</a>.
+
+<p>
+
+<a href="http://webalt.math.helsinki.fi/content/index_eng.html">WebALT</a>,
+Web Advanced Learning Technologies. GF is used as for generating multilingual
+teaching material.
+
+<p>
+
+Project <a href="http://efficient.citi.tudor.lu/index_noframe.html">Efficient</a>
+at Tudor Institute, Luxembourg, "atelier de prototypage de transactions d'e-commerce".
+GF is used as an authoring tool for business models.
+
+<p>
+
+An introductory course on GF was given at the
+<a href="http://www.logic.at/esslli03/">ESSLLI summer school</a>
+in Vienna 2003. 
+
+
+
+<h2>Miscellaneous</h2>
+
+
+</li><li>
+<a href="http://www.cs.chalmers.se/%7Ekrijo/gramlets/index.html">Gramlets</a>:
+GF grammars compiled to Java applets.
+
+
+</li><li> 
+<a href="doc/gfcc.pdf">
+GFCC</a>: 
+report on a compiler from a fragment of C to JVM, written in GF.
+The compiler source code can be found in the directory
+<tt>examples/gfcc</tt> in the GF grammar library
+(see  <a href="http://sourceforge.net/project/showfiles.php?group_id=132285">GF download page</a>).
+
+</li><li>
+<a href="http://www.cs.chalmers.se/~aarne/GF1">
+An early version of the GF Home Page</a>
+last updated for GF, Version 1.2, 2003.
+
+</li><li>
+The original <a href="http://www.xrce.xerox.com/">
+GF Xerox Home Page</a>
+with the oldest releases of and documents on GF, up to Version 0.54, 1999,
+does not seem to exist any more.
+
+
+</li><li>
+Earlier application:
+<a href="http://www.cs.chalmers.se/%7Ehallgren/Alfa/Tutorial/GFplugin.html">
+    Natural-Language Interface to the proof editor Alfa</a>.
+
+</li><li>
+<a href="http://www.cs.chalmers.se/%7Emarkus/BNFC">The BNF Converter</a>.
+A GF spin-off customized for the description of programming
+languages.
+    
+
+</li><li>
+
+<a href="http://www.cs.chalmers.se/%7Emarkus/FM">The Functional
+Morphology project</a>. Creating infrastructure for GF and other
+linguistic applications.
+
+</li></ul>
+
+<h2>Authors</h2>
+
+The <a href="http://www.cs.chalmers.se/Cs/Research/Language-technology/">
+Languge Technology Group</a>.
+More details on the
+<a href="http://www.cs.chalmers.se/%7Eaarne/GF/doc/gf-people.html">
+Authors and Acknowledgements</a> page.
+
+
+<h2>Implementation project</h2>
+
+Want to become a GF developer? Contact
+<a href="http://www.cs.chalmers.se/%7Eaarne/">Aarne Ranta</a>.
+Or just get the sources and start hacking.
+
+<hr>
+
+Last modified by
+<a href="http://www.cs.chalmers.se/%7Eaarne">
+Aarne Ranta</a>,
+May 17, 2005.
+
+</body></html>
author	aarne <unknown>	2005-05-17 18:50:43 +0000
committer	aarne <unknown>	2005-05-17 18:50:43 +0000
commit	6dd070f12e2a957adf54485b967d2fbe38b1941b (patch)
tree	181ecadbd8d139eb8a53806b3eb76a9d260fd59e
parent	1d6094c7efd1c770b20ec48b443d0334221c54ea (diff)