diff -r 1db5ca5eadf5 -r e5e7faaed7ad INSTALL
--- a/INSTALL	Mon Nov 23 22:47:41 2009 +0100
+++ b/INSTALL	Mon Nov 23 22:59:48 2009 +0100
@@ -17,7 +17,7 @@
 site installation of Isabelle on Linux/x86 works like this:
 
   tar -C /usr/local -xzf Isabelle.tar.gz
-  tar -C /usr/local -xzf polyml_x86-linux.tar.gz
+  tar -C /usr/local -xzf polyml.tar.gz
   tar -C /usr/local -xzf HOL_x86-linux.tar.gz
 
 The install prefix given above may be changed as appropriate; there is