[m-rev.] diff: Enhance the display of proof trees

[Erwan Jahier]

| Estimated hours taken: .1
| branches: main.
| 
| extras/morphine/source/control_flow_graph.op:

I meant:
  extras/ ...		 /control_flow.op:
of course.

| Index: extras/morphine/source/control_flow.op
| ===================================================================
| ...

-- 
R1.


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