NEWS
changeset 54688 47e61b768814
parent 54683 cf48ddc266e5
child 54702 3daeba5130f0
     1.1 --- a/NEWS	Fri Dec 06 23:34:14 2013 +0100
     1.2 +++ b/NEWS	Fri Dec 06 23:36:28 2013 +0100
     1.3 @@ -9,6 +9,9 @@
     1.4  * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
     1.5  Open text buffers take precedence over copies within the file-system.
     1.6  
     1.7 +* Document panel: simplied interaction where every single mouse click
     1.8 +(re)opens document via desktop environment or as jEdit buffer.
     1.9 +
    1.10  
    1.11  *** HOL ***
    1.12