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