NEWS
changeset 69780 b9a5805d1d70
parent 69778 09ad02c0fbee
child 69785 9e326f6f8a24
     1.1 --- a/NEWS	Thu Jan 31 22:02:50 2019 +0100
     1.2 +++ b/NEWS	Thu Jan 31 22:53:35 2019 +0100
     1.3 @@ -43,6 +43,10 @@
     1.4  
     1.5  *** Isabelle/jEdit Prover IDE ***
     1.6  
     1.7 +* The jEdit File Browser is more prominent in the default GUI layout of
     1.8 +Isabelle/jEdit: various virtual file-systems provide access to Isabelle
     1.9 +resources, notably via "favorites:" (or "Edit Favorites").
    1.10 +
    1.11  * Action "isabelle-export-browser" points the File Browser to the theory
    1.12  exports of the current buffer, based on the "isabelle-export:" virtual
    1.13  file-system. The directory view needs to be reloaded manually to follow