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