NEWS

--- a/NEWS	Tue Apr 28 19:50:36 2020 +0200
+++ b/NEWS	Tue Apr 28 21:47:22 2020 +0200
@@ -12,6 +12,10 @@
 * The command-line tool "isabelle console" now supports interrupts
 properly (on Linux and macOS).
 
+* The command-line tool "isabelle sessions" explores the structure of
+Isabelle sessions and prints result names in topological order (on
+stdout).
+
 * The Isabelle/Scala "Progress" interface changed slightly and
 "No_Progress" has been discontinued. INCOMPATIBILITY, use "new Progress"
 instead.