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