NEWS;
authorwenzelm
Thu Aug 20 14:31:09 2015 +0200 (2015-08-20)
changeset 609846a887d1d50b9
parent 60983 ff4a67c65084
child 60985 9d7ba380223c
NEWS;
NEWS
     1.1 --- a/NEWS	Thu Aug 20 14:13:00 2015 +0200
     1.2 +++ b/NEWS	Thu Aug 20 14:31:09 2015 +0200
     1.3 @@ -12,6 +12,15 @@
     1.4  * Improved scheduling for urgent print tasks (e.g. command state output,
     1.5  interactive queries) wrt. long-running background tasks.
     1.6  
     1.7 +* IDE support the the source-level debugger of Poly/ML, to work with
     1.8 +Isabelle/ML and official Standard ML. Configuration option "ML_debugger"
     1.9 +and commands 'ML_file_debug', 'ML_file_no_debug', 'SML_file_debug',
    1.10 +'SML_file_no_debug' control compilation of sources with debugging
    1.11 +information. The Debugger panel allows to set breakpoints (via context
    1.12 +menu), step through stopped threads, evaluate local ML expressions etc.
    1.13 +At least one Debugger view needs to be active to have any effect on the
    1.14 +running ML program.
    1.15 +
    1.16  
    1.17  *** Isar ***
    1.18