--- a/NEWS Sun Mar 19 18:28:32 2017 +0100 +++ b/NEWS Sun Mar 19 20:28:21 2017 +0100 @@ -45,6 +45,8 @@ the document model to theories that are required for open editor buffers. +* Update to jedit-5.4.0. + *** HOL ***