--- a/NEWS Sat Jan 12 21:26:35 2019 +0100
+++ b/NEWS Sun Jan 13 13:33:23 2019 +0100
@@ -43,6 +43,10 @@
*** Isabelle/jEdit Prover IDE ***
+* Action "isabelle-export-browser" points the File Browser to the theory
+exports of the current buffer. The directory view needs to be reloaded
+manually to follow ongoing document processing.
+
* Fonts for the text area, gutter, GUI elements etc. use the "Isabelle
DejaVu" collection by default, which provides uniform rendering quality
with the usual Isabelle symbols. Line spacing no longer needs to be