--- a/NEWS Sun May 31 15:29:43 2009 +0200
+++ b/NEWS Sun May 31 15:49:35 2009 +0200
@@ -37,6 +37,9 @@
* Discontinued support for Poly/ML 4.x versions.
+* Removed "compress" option from isabelle-process and isabelle usedir;
+this is always enabled.
+
New in Isabelle2009 (April 2009)