diff -r 44cba7df4003 -r 16912b4e6625 INSTALL
--- a/INSTALL	Wed Apr 15 19:52:45 2009 +0200
+++ b/INSTALL	Wed Apr 15 20:03:08 2009 +0200
@@ -6,7 +6,7 @@
 ----------------------
 
 The Isabelle distribution includes both complete sources and
-precompiled binary packages for common Unix platforms.
+precompiled binary packages for common Unix-like platforms.
 
 
 Quick installation