# HG changeset patch
# User wenzelm
# Date 1440073869 -7200
# Node ID 6a887d1d50b9783ede18a5d179962b9197bdfcad
# Parent  ff4a67c65084d9bdaa4a663a9ebd0bad22b92d2c
NEWS;

diff -r ff4a67c65084 -r 6a887d1d50b9 NEWS
--- a/NEWS	Thu Aug 20 14:13:00 2015 +0200
+++ b/NEWS	Thu Aug 20 14:31:09 2015 +0200
@@ -12,6 +12,15 @@
 * Improved scheduling for urgent print tasks (e.g. command state output,
 interactive queries) wrt. long-running background tasks.
 
+* IDE support the the source-level debugger of Poly/ML, to work with
+Isabelle/ML and official Standard ML. Configuration option "ML_debugger"
+and commands 'ML_file_debug', 'ML_file_no_debug', 'SML_file_debug',
+'SML_file_no_debug' control compilation of sources with debugging
+information. The Debugger panel allows to set breakpoints (via context
+menu), step through stopped threads, evaluate local ML expressions etc.
+At least one Debugger view needs to be active to have any effect on the
+running ML program.
+
 
 *** Isar ***