diff --git a/download/index.html b/download/index.html
index 044366c6b..e2ba11b4c 100644
--- a/download/index.html
+++ b/download/index.html
@@ -18,10 +18,10 @@
 <P></P>
 <LI>GF 3.0 beta MacOS X binaries: 
   <A HREF="gf-3.0beta-mac-leopard.gz">Leopard</A> (Intel Mac with MacOS X Leopard)
-  <A HREF="gf-3.0beta-mac-tiger.gz">Leopard</A> (Intel Mac with MacOS X Tiger)
-<P></P>
-<LI><A HREF="gf-3.0beta-mac.exe">GF 3.0 beta Windows binary</A>
-<P></P>
+  <A HREF="gf-3.0beta-mac-tiger.gz">Tiger</A> (Intel Mac with MacOS X Tiger)
+</UL>
+
+<UL>
 <LI><A HREF="gf-3.0beta.tgz">GF 3.0 beta sources</A>
 <P></P>
 <LI><A HREF="gf-lib-1.4.tgz">GF libraries v 1.4</A> (compiled resource grammar libraries)
diff --git a/download/index.txt b/download/index.txt
index 113f95015..72bebe245 100644
--- a/download/index.txt
+++ b/download/index.txt
@@ -11,9 +11,9 @@ Grammatical Framework Download and Installation
 
 - GF 3.0 beta MacOS X binaries: 
   [Leopard  gf-3.0beta-mac-leopard.gz] (Intel Mac with MacOS X Leopard)
-  [Leopard  gf-3.0beta-mac-tiger.gz] (Intel Mac with MacOS X Tiger)
+  [Tiger  gf-3.0beta-mac-tiger.gz] (Intel Mac with MacOS X Tiger)
 
-- [GF 3.0 beta Windows binary  gf-3.0beta-mac.exe]
+% - [GF 3.0 beta Windows binary  gf-3.0beta-windows.exe]
 
 - [GF 3.0 beta sources         gf-3.0beta.tgz]
 
diff --git a/index.txt b/index.txt
index 694d9e815..7c273f210 100644
--- a/index.txt
+++ b/index.txt
@@ -120,8 +120,8 @@ Later projects using GF and involving third parties include, in chronological or
 - SALDO: Swedish morphological dictionary based on tools developed for GF
 
 
-Academically, GF has been used in four [PhD theses ], and resulted in around
-fifty [scientific publications ].
+Academically, GF has been used in four PhD theses and resulted in around
+fifty scientific publications (see [GF publication list doc/gf-bibliography.html]).
 
 
 ==Programming in GF==
diff --git a/src/INSTALL b/src/INSTALL
index ef7949b07..2a37e815a 100644
--- a/src/INSTALL
+++ b/src/INSTALL
@@ -1,4 +1,4 @@
-To make and install GF (Updated for version 2.4).
+To make and install GF (Updated for version 2.4 and 3.0beta).
 
 1. Unpack GF and go to the source directory (the place where this 
    INSTALL file is - so you have probably done this already!)
@@ -24,10 +24,6 @@ To make and install GF (Updated for version 2.4).
 
      ./configure --prefix=/usr
 
-   To compile on Chalmers Solaris systems using VCS, use this configuration:
-
-     ./configure CPPFLAGS="`lib__readline -I` `lib__ncurses -I`" LDFLAGS="`lib__readline -l` `lib__ncurses -l`"
-
    If you experience problems with readline, try:
 
    ./configure --with-readline=no
@@ -68,26 +64,18 @@ To make and install GF (Updated for version 2.4).
 
      -- when gf has started and shows the prompt >:
 
-     > parse "this cheese is very very Italian" | tree_bank
+     > parse "this cheese is very very Italian" | linearize -treebank
 
      -- this is the response from GF:
      Is (This Cheese) (Very (Very Italian))
      this cheese is very very Italian
      questo formaggio è molto molto italiano
 
-10. If you want to run the Java GUI, go back to $GFHOME/src directory
-    and also do
+     > generate_random | linearize -treebank
 
-     make install-java
-
-   Test the GUI with some grammars:
-
-     cd ../examples/letter
-     gf <mkLetter.gfs
-     jgf Letter.gfcm
-
-   When the window opens, push the Random button. 
-
-Author: Aarne Ranta, Björn Bringert 8/11/2004 -- 26/01/2006 -- 3/9/2007
+     > help
+
+
+Author: Aarne Ranta, Björn Bringert 8/11/2004 -- 26/01/2006 -- 27/6/2008