Thu, 20 Aug 2015 14:31:09 +0200
changeset 60984 6a887d1d50b9
parent 60983 ff4a67c65084
child 60985 9d7ba380223c
--- 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 ***