NEWS

--- a/NEWS	Mon Jun 24 17:17:17 2013 +0200
+++ b/NEWS	Mon Jun 24 23:33:14 2013 +0200
@@ -297,6 +297,10 @@
 * Toplevel executable $ISABELLE_HOME/bin/isabelle_scala_script allows
 to run Isabelle/Scala source files as standalone programs.
 
+* Improved "isabelle keywords" tool (for old-style ProofGeneral
+keyword tables): use Isabelle/Scala operations, which inspect outer
+syntax without requiring to build sessions first.
+
 
 
 New in Isabelle2013 (February 2013)