NEWS
changeset 56413 2d4d9a5f68ff
parent 56399 386e4cb7ad68
child 56439 95e2656b3b23
     1.1 --- a/NEWS	Fri Apr 04 22:21:46 2014 +0200
     1.2 +++ b/NEWS	Fri Apr 04 22:51:22 2014 +0200
     1.3 @@ -108,6 +108,9 @@
     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 +
    1.10  
    1.11  *** Pure ***
    1.12