diff -r 6587c627a9db -r cf48ddc266e5 NEWS
--- a/NEWS	Fri Dec 06 21:49:08 2013 +0100
+++ b/NEWS	Fri Dec 06 22:10:45 2013 +0100
@@ -97,6 +97,19 @@
 formal context.
 
 
+*** System ***
+
+* Simplified "isabelle display" tool.  Settings variables DVI_VIEWER
+and PDF_VIEWER now refer to the actual programs, not shell
+command-lines.  Discontinued option -c: invocation may be asynchronous
+via desktop environment, without any special precautions.  Potential
+INCOMPATIBILITY with ambitious private settings.
+
+* Improved 'display_drafts' concerning desktop integration and
+repeated invocation in PIDE front-end: re-use single file
+$ISABELLE_HOME_USER/tmp/drafts.pdf and corresponding views.
+
+
 
 New in Isabelle2013-2 (December 2013)
 -------------------------------------