[m-rev.] For review: changes to mdb pretty printing

[Ian MacLarty]

On Fri, Nov 05, 2004 at 01:26:31PM +1100, Ralph Becket wrote:
> Ian MacLarty, Friday,  5 November 2004:
> > For review by anyone.
> > 
> > Estimated hours taken: 1.5
> > Branches: main
> > 
> > Rename "pretty" browser format to "raw_pretty" and "raw_pretty" to "pretty".
> > Make old "pretty" format print function return values.  Remove univ_cons 
> > constructor around old "raw_pretty" function return values.
> 
> You should probably mention the change in the NEWS file.

Okay.  

While adding the change to the news file I also noticed there was no
note in the details section about the `trust' command, so I added one.

Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.346
diff -u -r1.346 NEWS
--- NEWS	19 Oct 2004 06:01:34 -0000	1.346
+++ NEWS	5 Nov 2004 02:55:42 -0000
@@ -350,6 +350,16 @@
   We've added a new mdb command, `save_to_file', that saves a specified term
   to a specified file.
 
+* Ability to tell the declarative debugger to trust entire modules or 
+  individual predicates or functions.
+
+  We've added a `trust' command that lets the user tell the declarative 
+  debugger to assume that the code in certain modules and or predicates is
+  correct.
+
+* The "pretty" and "raw_pretty" print formats have had their names swapped, so
+  the "pretty" format is now prettier than the "raw_pretty" format.
+


I've added the following to the main log message:

Add extra note in NEWS about declarative debugger `trust' command.

And I've added the following log for the NEWS file:

NEWS
	Add note about print format name change.
	Also add note about declarative debugger `trust' command.


Ian.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------