NEWS;

--- a/NEWS	Fri Dec 06 23:34:14 2013 +0100
+++ b/NEWS	Fri Dec 06 23:36:28 2013 +0100
@@ -9,6 +9,9 @@
 * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
 Open text buffers take precedence over copies within the file-system.
 
+* Document panel: simplied interaction where every single mouse click
+(re)opens document via desktop environment or as jEdit buffer.
+
 
 *** HOL ***