# HG changeset patch # User wenzelm # Date 1548879506 -3600 # Node ID 3ceff650adb9a934265487002582d119c5c5f4a5 # Parent 4b0a11d499e2d6284dec4cd1d3b86eca3fe2bfea NEWS; diff -r 4b0a11d499e2 -r 3ceff650adb9 NEWS --- a/NEWS Wed Jan 30 21:18:21 2019 +0100 +++ b/NEWS Wed Jan 30 21:18:26 2019 +0100 @@ -44,8 +44,14 @@ *** 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. +exports of the current buffer, based on the "isabelle-export:" virtual +file-system. The directory view needs to be reloaded manually to follow +ongoing document processing. + +* Action "isabelle-session-browser" points the File Browser to session +information, based on the "isabelle-session:" virtual file-system. Its +entries are structured according to chapter / session names, the open +operation is redirected to the session ROOT file. * Fonts for the text area, gutter, GUI elements etc. use the "Isabelle DejaVu" collection by default, which provides uniform rendering quality