NEWS;
authorwenzelm
Thu Jan 31 22:53:35 2019 +0100 (3 months ago)
changeset 69780b9a5805d1d70
parent 69779 a2218981a5d6
child 69781 a7529ac9c1c5
NEWS;
NEWS
     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