NEWS
changeset 65329 4f3da52cec02
parent 65170 53675f36820d
child 65396 b42167902f57
     1.1 --- a/NEWS	Sun Mar 19 18:28:32 2017 +0100
     1.2 +++ b/NEWS	Sun Mar 19 20:28:21 2017 +0100
     1.3 @@ -45,6 +45,8 @@
     1.4  the document model to theories that are required for open editor
     1.5  buffers.
     1.6  
     1.7 +* Update to jedit-5.4.0.
     1.8 +
     1.9  
    1.10  *** HOL ***
    1.11