diff -r 37ce6ceacbb7 -r 8edca3465758 NEWS
--- a/NEWS	Sun Dec 18 20:01:24 2016 +0100
+++ b/NEWS	Sun Dec 18 21:58:13 2016 +0100
@@ -6,6 +6,13 @@
 New in this Isabelle version
 ----------------------------
 
+*** Prover IDE -- Isabelle/Scala/jEdit ***
+
+* Command-line invocation "isabelle jedit -R -l LOGIC" opens the ROOT
+entry of the specified logic session in the editor, while its parent is
+used for formal checking.
+
+
 *** HOL ***
 
 * Swapped orientation of congruence rules mod_add_left_eq,
@@ -31,7 +38,7 @@
 
 * The theorem in Permutations has been renamed:
   bij_swap_ompose_bij ~> bij_swap_compose_bij
- 
+
 
 New in Isabelle2016-1 (December 2016)
 -------------------------------------
@@ -92,6 +99,7 @@
 * Solve direct: option "solve_direct_strict_warnings" gives explicit
 warnings for lemma statements with trivial proofs.
 
+
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
 * More aggressive flushing of machine-generated input, according to