NEWS
changeset 56450 16d4213d4cbc
parent 56439 95e2656b3b23
child 56499 7e0178c84994
     1.1 --- a/NEWS	Mon Apr 07 13:55:12 2014 +0200
     1.2 +++ b/NEWS	Mon Apr 07 16:37:57 2014 +0200
     1.3 @@ -108,8 +108,7 @@
     1.4  simplification process, enabled by the newly-introduced
     1.5  "simplifier_trace" declaration.
     1.6  
     1.7 -* Support for Navigator plugin, with toolbar buttons and keyboard
     1.8 -shortcuts similar to major web browsers.
     1.9 +* Support for Navigator plugin (with toolbar buttons).
    1.10  
    1.11  
    1.12  *** Pure ***