# HG changeset patch
# User wenzelm
# Date 1513459924 -3600
# Node ID 62a5fbdded50d03a07bf74937a01a55f42e342c8
# Parent  0049bed35f5aff09488d17802641550b79973783
tuned;

diff -r 0049bed35f5a -r 62a5fbdded50 NEWS
--- a/NEWS	Sat Dec 16 22:20:06 2017 +0100
+++ b/NEWS	Sat Dec 16 22:32:04 2017 +0100
@@ -44,7 +44,8 @@
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
-* PIDE markup for session ROOT files.
+* PIDE markup for session ROOT files: allows to complete session names,
+follow links to theories and document files etc.
 
 * Completion supports theory header imports, using theory base name.
 E.g. "Prob" may be completed to "HOL-Probability.Probability".