for review: make HLDS dumps easier to use

[Fergus Henderson]

On 22-Sep-1998, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> 
> Make HLDS dumps easier to use.
...
> +++ user_guide.texi	1998/09/22 09:27:32
> @@ -1840,11 +1842,12 @@
>  t - results of termination analysis,
>  u - unification categories,
>  v - variable numbers in variable names,
> -T - type and typeclass information,
> -M - mode and inst information,
>  C - clause information,
> -U - unify predicates,
> -P - path information.
> +I - imported predicates,
> +M - mode and inst information,
> +P - path information,
> +T - type and typeclass information,
> +U - unify predicates.
>  The special argument value ``all''
>  will cause the printing of all these fields.

That last sentence should be deleted.

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