NEWS

--- a/NEWS	Mon Nov 15 13:51:43 2004 +0100
+++ b/NEWS	Mon Nov 15 17:04:11 2004 +0100
@@ -6,8 +6,8 @@
 
 *** General ***
 
-* isatool usedir: new option -f that allows to specify the ML file to
-  be used by Isabelle; default is ROOT.ML.
+* isatool usedir: new option -f that allows specification of the ML
+  file to be used by Isabelle; default is ROOT.ML.
 
 * Theory headers: the new header syntax for Isar theories is