[m-rev.] for review: Delete support for browsing terms as XML.

[Julien Fischer]

Hi Peter,

On Wed, 14 Oct 2020, Peter Wang wrote:

> The 'browse --xml' command has not worked with current versions of
> xsltproc for quite some time, but we have not received any bug reports,
> nor has anyone tried to fix it. We have a method for interactively
> exploring a term in 'browse --web' so IMHO there is no need to keep
> support for 'browse --xml'.

Agreed.

...

> 26 files changed, 69 insertions(+), 1011 deletions(-)
> delete mode 100644 scripts/xul_tree.xsl
>
> diff --git a/NEWS b/NEWS
> index 27a769baa..aa3bb8453 100644
> --- a/NEWS
> +++ b/NEWS
> @@ -149,6 +149,10 @@ Changes to the Mercury debugger
>   the command is set using `list_cmd`.  For example, the command could
>   produce syntax highlighted source listings.
> 
> +* We have removed support for browsing terms as XML (`browse --xml`)
> +  as it was unmaintained and does not work any more. The `browse --web`

s/does/did/

> +  command provides another method of interactively exploring a term.

Reword as:

     command provides an alternative method for interactively exploring a
     term.

Looks fine otherwise.

Julien.