[m-rev.] For review: use XML browser to browse terms in mdb

[Julien Fischer]

On Thu, 9 Dec 2004, Ian MacLarty wrote:

> Note this is a sub-diff of the previous post with the same subject.  The
> other parts of the original diff are now being posted seperately.
>
> For review by anyone.
>
> Estimated hours taken: 5
> Branches: main
>
> Allow terms to be saved as XML in mdb and allow an XML browser to be invoked on
> browsable objects in mdb.  The user can set two options which control where the
> XML is dumped and the command used to browse the XML.  The defaults assume
> xsltproc and mozilla are installed.
>
You could get configure to check if they are.  What happens if they are
not?

> browser/browse.m
> 	Add a predicate to save a browser term as XML to a file.
>
> doc/user_guide.texi
> 	Document new --xml option for the mdb `browse' command.
> 	Document new --xml option for the mdb `save_to_file' command.
> 	Document the `set xml_tmp_filename' and `set xml_browser_cmd' commands.
>
> scripts/Mmakefile
> 	Copy extras/xml_stylesheets/xul_tree.xsl to the mdb install
> 	directory so it can be used by the default XML browser command.
>
It would be preferable if any stylesheets needed by the debugger lived
in the browser directory not in extras (perhaps in a subdirectory of the
browser directory).

If I have my own stylesheet is there a way to tell the debugger to use
that rather than the one above?  (I think you partially address this
in the changes to the user guide but it's not entirely clear how I would go
about this).

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------