NEWS;

--- a/NEWS	Mon Aug 14 21:42:55 2017 +0100
+++ b/NEWS	Tue Aug 15 11:41:58 2017 +0200
@@ -92,6 +92,11 @@
 the document model to theories that are required for open editor
 buffers.
 
+* The Theories dockable indicates the overall status of checking of each
+entry. When all forked tasks of a theory are finished, the border is
+painted with thick lines; remaining errors in this situation are
+represented by a different border color.
+
 * Update to jedit-5.4.0.