NEWS
changeset 66462 0a8277e9cfd6
parent 66455 158c513a39f5
child 66472 1b7d66d62035
     1.1 --- a/NEWS	Sun Aug 20 20:38:37 2017 +0200
     1.2 +++ b/NEWS	Sun Aug 20 20:53:03 2017 +0200
     1.3 @@ -105,6 +105,10 @@
     1.4  painted with thick lines; remaining errors in this situation are
     1.5  represented by a different border color.
     1.6  
     1.7 +* The main Isabelle/jEdit plugin may be restarted manually (using the
     1.8 +jEdit Plugin Manager), as long as the "Isabelle Base" plugin remains
     1.9 +enabled at all times.
    1.10 +
    1.11  * Update to jedit-5.4.0.
    1.12  
    1.13