# HG changeset patch
# User webertj
# Date 1100534651 -3600
# Node ID 55b7f79206228e8f13984c4023391bd886dae959
# Parent  b084384960d10dd624d2a1c4299f1ae74571317f
minor rewording

diff -r b084384960d1 -r 55b7f7920622 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