From a21b4b0e2ea5c444cdd97a274f9e7fb3c14c2011 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Thu, 19 Jun 2008 16:25:43 +0000
Subject: [PATCH] some more words in index-3

---
 index-3.html | 14 ++++++++++++++
 index-3.txt  | 28 +++++++++++++++++++++++-----
 2 files changed, 37 insertions(+), 5 deletions(-)

diff --git a/index-3.html b/index-3.html
index e0d14657c..95a782462 100644
--- a/index-3.html
+++ b/index-3.html
@@ -23,6 +23,20 @@ June 2008
 </center>
 </P>
 <P>
+<font size=+2>
+</P>
+<P>
+<CODE>|</CODE> <A HREF="demos/">Demos</A>
+<CODE>|</CODE> <A HREF="download">Download</A>
+<CODE>|</CODE> <A HREF="lib/">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/">Demos</A>
 <CODE>|</CODE> <A HREF="download">Download</A>
 <CODE>|</CODE> <A HREF="download">Development</A>
diff --git a/index-3.txt b/index-3.txt
index 4d4138aa5..fca957887 100644
--- a/index-3.txt
+++ b/index-3.txt
@@ -5,6 +5,8 @@
 %!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
 
@@ -18,6 +20,17 @@ June 2008
 
 #ENCE
 
+#BELARGE
+
+``|`` [Demos demos/]
+``|`` [Download download]
+``|`` [Libraries lib/]
+``|`` [Reference doc/gf-refman.html]
+``|`` [Tutorial doc/gf-tutorial.html]
+``|`` 
+
+#ENLARGE
+
 ``|`` [Demos demos/]
 ``|`` [Download download]
 ``|`` [Development download]
@@ -45,11 +58,16 @@ June 2008
 
 GF, Grammatical Framework, is a programming language for 
 **multilingual grammar applications**. It is
-- a **special-purpose language for grammars**, like YACC, Bison, Happy, BNFC
-- a **functional language**, like Haskell, Lisp, OCaml, Scheme, SML
-- a **natural language processing framework**, like LKB, XLE, Regulus
-- a **categorial grammar formalism**, like ACG, CCG
-- a **logical framework**, like Agda, Coq, Isabelle
+- 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