[m-rev.] for review: address github issue #37

[Zoltan Somogyi]

This addresses the issue, in that it shows that the "size" command
is supposed to be issued in the context of a question from the
declarative debugger, not at the "mdb> " prompt.

However, I am not sure about two things. One is simply:
is showing the prompt a good way to get across the idea that
each command is usable only in a given context, or do not need
something more verbose? The second is related: it uses "Valid?"
as the prompt in the documentation to show a question from
the declarative debugger, because it is by far the most common
question, but there are others as well, such as "Satisfyable?",
after which the declarative debugger accepts the same set of
commands. We could replace "Valid?" in the documentation
of such commands by e.g. "{Valid?, Satisfyable?,...}", or by e.g.
"[declarative debugger question such as Valid?]".

Any thoughts?

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.mdb_doc
Type: application/octet-stream
Size: 412 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20151022/1fed21c4/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.mdb_doc
Type: application/octet-stream
Size: 5553 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20151022/1fed21c4/attachment-0001.obj>