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. November 8, 2004. GF 2.1 released. Here are the highlights. -Software available on the GF 2.1 Download +Software available on the GF 2.1 Download Page.
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 @@ + + +
+
+
++ +The following people have contributed code to the current version: + +
+
+Björn Bringert (Chalmers)
+
+Håkan Burden (Göteborg University)
+
+Markus Forsberg (Chalmers)
+
+Thomas Hallgren (Chalmers)
+
+Kristofer Johannisson (Chalmers)
+
+Janna Khegai (Chalmers)
+
+Peter Ljunglöf (Chalmers)
+
+Petri Mäenpää (Nokia)
+
+
+ +At least the following colleagues are thanked for suggestions, +bug reports, and other indirect contributions to the code: + +
+ +Stefano Berardi (Torino), + +Pascal Boldini (Paris), + +Paul Callaghan (Durham), + +Lauri Carlson (Helsinki), + +Koen Claessen (Chalmers), + +Robin Cooper (Gothenburg), + +Thierry Coquand (Chalmers), + +Marc +Dymetman (XRCE), + +Bertrand Grégoire (Tudor Institure, Luxembourg), + +Reiner Hähnle (Chalmers), + +Gérard Huet (INRIA), + +Patrik Jansson (Chalmers), + +Bernard Jaulin (Paris), + + +Lauri Karttunen (PARC), + +Matti Kinnunen (Nokia), + +Veronika +Lux (XRCE), + +Per Martin-Löf (Stockholm), + +Bengt Nordström (Chalmers), + + +Martin Okrslar (CIS), + +Jianmin Pang (Durham), + +Sylvain +Pogodalla (XRCE), + +Loïc Pottier (INRIA), + + +Annie Zaenen (PARC) + +
+ +The GF logo was designed by Uula Ranta. + +
+ +From 2001 to 2004, GF enjoyed funding from the +Vinnova foundation, within the + +Interactive Languge Technology project. + + + + + diff --git a/index.html b/index.html new file mode 100644 index 000000000..7ba2f45fd --- /dev/null +++ b/index.html @@ -0,0 +1,360 @@ + +
+
++ +
+ +May 12, 2005. GF now has a mailing list, to which you can register +here. +GF also has a project page on SourceForge, + +https://sourceforge.net/projects/gf-tools, +but this page does not yet have much content. + +
+ +May 9, 2005. +PhD Thesis by +Kristofer Johannisson: + +Formal and Informal Software Specifications. + +
+ + +March 15, 2005. +Master's thesis by +Björn Bringert on + +Embedded grammars: +GF grammars that can be used as parts of Java programs. And a +demo film +of a multimodal dialogue system built with embedded grammars. + +
+ + +November 9, 2004. +PhD Thesis by +Peter Ljunglöf: + +Expressivity and Complexity of the Grammatical Framework. + +
+ +November 8, 2004. GF 2.1 released. +Here are the highlights. +Software available on the GF 2.1 Download +Page. +
+Main novelties in 2.1: +multiple inheritance of grammar modules, +speech recognition grammar generation, +lots of bug fixes. + +
+ +Version 2.0 still available +on the GF 2.0 Download Page. + +
+ +If you need something from the previous version of the web page, it is +still available: + +GF 1.2. + + + + +
+ +Letter +editor: +write simple letters in English, Finnish, +French, Swedish, and Russian with a few mouse clicks. + +
+ +Resource grammar library: +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. + + +
+ +The platform-independent graphical user interface is written in +Java. + + +
+ +The Download Page (at SourceForge) gives links to source and binary packages, as well as +information on compiler requirements. + + +
+ +KeY project on Integrated Deductive +Software Design. GF is used for +authoring informal and formal specifications. More details on the GF +application + +here. + +
+ +WebALT, +Web Advanced Learning Technologies. GF is used as for generating multilingual +teaching material. + +
+ +Project Efficient +at Tudor Institute, Luxembourg, "atelier de prototypage de transactions d'e-commerce". +GF is used as an authoring tool for business models. + +
+ +An introductory course on GF was given at the +ESSLLI summer school +in Vienna 2003. + + + +