[m-rev.] for review: Improvements to reference manual

[Zoltan Somogyi]

On Fri, 17 Oct 2014 16:51:39 +1100, Mark Brown <mark at mercurylang.org> wrote:
> -More generally, Mercury prunes alternative solutions for
> -goals that are in a ``single-solution context'',
> -of which the above are two particular cases.
> -The full definition of single-solution context
> +These first two cases, where there are no outputs
> +and where there are outputs but you only need one solution,
> +are particular instances of a more general notion of pruning away solutions
> +that is defined for all goals.
> +The complete definition of where solutions will be pruned away
>  is given in @ref{Committed choice nondeterminism}.

I don't see what the "that is defined for all goals" part of the above
is trying to say. Apart from that, the relative diff is fine.

Zoltan.