From 03ff170d43aa0f78c90161cba4e02db7475b2501 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 8 Dec 2005 09:01:58 +0000 Subject: [PATCH] document on main index --- index.html | 73 +++++------------------------------------------------- 1 file changed, 6 insertions(+), 67 deletions(-) diff --git a/index.html b/index.html index 653e6c907..e7b0bcaaa 100644 --- a/index.html +++ b/index.html @@ -20,6 +20,11 @@ July 1, 2005.

News

+December 8, 2005. +A structured Documentation page on GF. + +

+ December 1, 2005. Publicly accessible @@ -242,73 +247,7 @@ Embedded GF Interpreter.

Documents

-
  • - New Grammarian's Tutorial, -based on the module system (unfinished). -More up-to-date but ess detailed than the next one. - -
  • -Old Grammarian's Tutorial -on writing GF grammars, with exercises. - -
  • -Editor User Manual -on editing in the Java interface. - -
  • - -GF in 25 Minutes - overview for programmer audience. - -
  • -Grammatical Framework: A Type-Theoretical -Grammar Formalism (ps.gz). Theoretical paper on GF by A. Ranta, appeared -in The Journal of Functional Programming, vol. 14:2. 2004, pp. 145-189. -Also serves as language document. - -
  • Module system document, complements the -previous paper by a description of the module system. - -
  • - -User Manual explaining the GF user interfaces and command language (slightly -outdated). - -
  • - -Language specification of the GF grammar formalism. - -
  • - -Resource grammar library documentation. - -
  • - -Highlights of Version 2.1 and 2.0 (in comparison with version 1.2). - - -
  • - -Slides on GF theory and implementation given -at INRIA Rocquencourt in December 2003. - -
  • - -Slides on multilingual grammar engineering and some examples of -using the modules system of GF 2.0. - -
  • -PhD Thesis by -Peter Ljunglöf: - -Expressivity and Complexity of the Grammatical Framework. -Language-theoretical study of GF and its parsing problem. - -
  • - -Bibliography: -publications on GF, as well as background literature. -
    • +See the Documentation page.