# HG changeset patch
# User wenzelm
# Date 1548971615 -3600
# Node ID b9a5805d1d702252f3732787a48e8902b82fffff
# Parent  a2218981a5d698d3a73d49d10c23a2aaded3a110
NEWS;

diff -r a2218981a5d6 -r b9a5805d1d70 NEWS
--- a/NEWS	Thu Jan 31 22:02:50 2019 +0100
+++ b/NEWS	Thu Jan 31 22:53:35 2019 +0100
@@ -43,6 +43,10 @@
 
 *** Isabelle/jEdit Prover IDE ***
 
+* The jEdit File Browser is more prominent in the default GUI layout of
+Isabelle/jEdit: various virtual file-systems provide access to Isabelle
+resources, notably via "favorites:" (or "Edit Favorites").
+
 * Action "isabelle-export-browser" points the File Browser to the theory
 exports of the current buffer, based on the "isabelle-export:" virtual
 file-system. The directory view needs to be reloaded manually to follow