NEWS

--- a/NEWS	Sun Aug 20 20:38:37 2017 +0200
+++ b/NEWS	Sun Aug 20 20:53:03 2017 +0200
@@ -105,6 +105,10 @@
 painted with thick lines; remaining errors in this situation are
 represented by a different border color.
 
+* The main Isabelle/jEdit plugin may be restarted manually (using the
+jEdit Plugin Manager), as long as the "Isabelle Base" plugin remains
+enabled at all times.
+
 * Update to jedit-5.4.0.