tuned;

--- 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".