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

[Ralph Becket]

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