NEWS

--- a/NEWS	Mon Aug 06 14:33:23 2012 +0200
+++ b/NEWS	Mon Aug 06 16:05:29 2012 +0200
@@ -85,6 +85,9 @@
 
   isabelle build -s -b HOLCF
 
+* The "isabelle options" tool prints Isabelle system options, as
+required for "isabelle build", for example.
+
 * The "isabelle mkroot" tool prepares session root directories for use
 with "isabelle build", similar to former "isabelle mkdir" for
 "isabelle usedir".