[m-rev.] for review: document print io N-M DD command

[Ian MacLarty]

For review by anyone.

Estimated hours taken: 0.1
Branches: main and 0.12

doc/user_guide.texi
	Document the "print io N-M" declarative debugger command.

Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.443
diff -u -r1.443 user_guide.texi
--- doc/user_guide.texi	21 Jul 2005 06:17:00 -0000	1.443
+++ doc/user_guide.texi	22 Jul 2005 02:55:14 -0000
@@ -4166,6 +4166,9 @@
 @item print io @var{n}
 Print the @var{n}th IO action.
 @sp 1
+ at item print io @var{n}- at var{m}
+Print the @var{n}th to @var{m}th IO actions.
+ at sp 1
 @item set @var{param} @var{value}
 Update the given configuration parameter.
 The parameters that can be configured are

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