diff -r f28e31adb5ed -r 29f37eb9bd0f NEWS
--- a/NEWS	Sun Mar 01 15:20:47 2020 +0100
+++ b/NEWS	Sun Mar 01 21:52:21 2020 +0100
@@ -59,6 +59,14 @@
 tooltip message popups, corresponding to mouse hovering with/without the
 CONTROL/COMMAND key pressed.
 
+* The following actions allow to navigate errors within the current
+document snapshot:
+
+  isabelle.first-error (CS+a)
+  isabelle-last-error (CS+z)
+  isabelle-next-error (CS+n)
+  isabelle-prev-error (CS+p)
+
 * Prover IDE startup is now much faster, because theory dependencies are
 no longer explored in advance. The overall session structure with its
 declarations of 'directories' is sufficient to locate theory files. Thus