[m-rev.] for review: mention declarative debugging in NEWS

[Mark Brown]

Estimated hours taken: 0.1
Branches: main

NEWS:
	Mention declarative debugging.

WORK_IN_PROGRESS:
	Update the comment to better reflect the state of progress.

Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.269
diff -u -r1.269 NEWS
--- NEWS	26 Sep 2002 06:18:33 -0000	1.269
+++ NEWS	9 Oct 2002 11:53:15 -0000
@@ -23,6 +23,7 @@
 * Support for source-linked debugging using vim (rather than emacs).
 * Command-line completion.
 * Ability to display values of higher-order terms.
+* Declarative debugging.
 
 Numerous minor improvements to the Mercury standard library.
 
@@ -372,5 +373,9 @@
   the program.  The main advantage of the new behaviour is that
   redirection of the program's input and output works.  The old
   behaviour is still available with `mdb --program-in-window'.
+
+* The debugger now includes support for declarative debugging.  The `dd'
+  command starts diagnosis at any exit, fail or exception port in mdb.  See
+  the Mercury User's Guide for more details.
 
 For news about earlier versions, see the HISTORY file.
Index: WORK_IN_PROGRESS
===================================================================
RCS file: /home/mercury1/repository/mercury/WORK_IN_PROGRESS,v
retrieving revision 1.17
diff -u -r1.17 WORK_IN_PROGRESS
--- WORK_IN_PROGRESS	24 May 2001 06:06:46 -0000	1.17
+++ WORK_IN_PROGRESS	9 Oct 2002 11:58:04 -0000
@@ -43,8 +43,9 @@
 * Converting procedures to tail-recursive form via automatic
   accumulator introduction (--introduce-accumulators).
 
-* The Mercury debugger (mdb) now includes some support for declarative
-  debugging.
+* The Mercury debugger (mdb) now includes support for declarative
+  debugging.  There are still some limitations to be dealt with, and
+  some improvements are yet to be made.
 
 * There is a `--generate-bytecode' option, for a new back-end
   that generates bytecode.  The bytecode generator is basically
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------