# 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