diff -r 0c1d03e37881 -r eb649b6dbf15 NEWS
--- a/NEWS	Thu Nov 11 10:50:24 2004 +0100
+++ b/NEWS	Fri Nov 12 15:45:19 2004 +0100
@@ -6,6 +6,9 @@
 
 *** General ***
 
+* isatool usedir: new option -f that allows to specify the ML file to
+  be used by Isabelle; default is ROOT.ML.
+
 * Theory headers: the new header syntax for Isar theories is
 
   theory <name>