some more words in index-3

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>

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 **special-purpose language for grammars**, like YACC, Bison, Happy, BNFC, 
-- a **functional language**, like Haskell, Lisp, OCaml, Scheme, SML
+  but not restricted to programming languages
-- a **natural language processing framework**, like LKB, XLE, Regulus
+- a **functional language**, like Haskell, Lisp, OCaml, Scheme, SML,
-- a **categorial grammar formalism**, like ACG, CCG
+  but specialized to grammar writing
-- a **logical framework**, like Agda, Coq, Isabelle
+- 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