trivial diff: fix typos in doc/mdb_categories

Fergus Henderson fjh at cs.mu.OZ.AU
Wed Oct 28 16:31:20 AEDT 1998


Estimated hours taken: 0.1

doc/mdb_categories:
	Fix a couple of missing end-quotes.

Index: doc/mdb_categories
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/mdb_categories,v
retrieving revision 1.1
diff -u -r1.1 mdb_categories
--- mdb_categories	1998/10/16 06:18:19	1.1
+++ mdb_categories	1998/10/28 05:28:27
@@ -15,7 +15,7 @@
 end
 document_category 400 browsing
 browsing   - Commands that let users explore the state of the computation.
-             The browsing commands are `vars', `print', `stack', `up', `down,
+             The browsing commands are `vars', `print', `stack', `up', `down',
 	     `level', and `current'.
 
 end
@@ -28,7 +28,7 @@
 document_category 600 parameter
 parameter  - Commands that let users access debugger parameters.
              The parameter commands are `printlevel', `echo', `scroll',
-	     `alias' and `unalias.
+	     `alias' and `unalias'.
 
 end
 document_category 700 help

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.



More information about the developers mailing list