From a0cc2e00c9f2f98721e47abf23252b5e94d9081d Mon Sep 17 00:00:00 2001
From: aarne
Date: Tue, 17 May 2005 16:43:55 +0000
Subject: [PATCH] index
---
doc/gf-index.html | 15 ++++++---------
1 file changed, 6 insertions(+), 9 deletions(-)
diff --git a/doc/gf-index.html b/doc/gf-index.html
index 3ac247222..a7b24a1da 100644
--- a/doc/gf-index.html
+++ b/doc/gf-index.html
@@ -186,12 +186,9 @@ information on compiler requirements.
Documents
-Some of the documents have not yet been updated for GF 2.0.
-See the
-Highlights of Version 2.0 for the main differences.
-
-User's tutorial
+User's tutorial
on editing in the Java interface.
@@ -201,11 +198,11 @@ based on the module system (unfinished).
More up-to-date but ess detailed than the next one.
-
-Grammarian's Tutorial
+Old Grammarian's Tutorial
on writing GF grammars, with exercises.
-
-
+
GF in 25 Minutes for programmers.
-
@@ -214,7 +211,7 @@ 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
+
- Module system document, complements the
previous paper by a description of the module system.
-
@@ -227,7 +224,7 @@ outdated).
Language specification of the GF grammar formalism.
-
-
+
Highlights of Version 2.1 and 2.0 (in comparison with version 1.2).
@@ -250,7 +247,7 @@ 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.