mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 17:33:38 +00:00
89e59e7cc8
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'.
browser/browse.m:
browser/browser_info.m:
browser/declarative_user.m:
trace/mercury_trace_browse.c:
trace/mercury_trace_browse.h:
trace/mercury_trace_cmd_browsing.c:
trace/mercury_trace_cmd_parameter.c:
trace/mercury_trace_cmd_parameter.h:
trace/mercury_trace_internal.c:
Delete code.
doc/mdb_categories:
doc/user_guide.texi:
Delete documentation.
configure.ac:
Don't search for a XUL browser and xsltproc.
scripts/mdbrc.in:
Delete 'xml_browser_cmd' and 'xml_tmp_filename' lines.
scripts/xul_tree.xsl:
Delete now unused file.
scripts/Mmakefile:
Conform to deletions.
tests/debugger/Mmakefile:
tests/debugger/browser_test.exp:
tests/debugger/browser_test.exp3:
tests/debugger/browser_test.inp:
tests/debugger/mdb_command_test.inp:
tests/debugger/save.exp2:
tests/declarative_debugger/browse_arg.exp:
tests/declarative_debugger/browse_arg.inp:
Don't test 'browse --xml' any longer.
extras/xml_stylesheets/README:
Delete reference to 'browse --xml' command.
NEWS:
Announce change.
27 lines
1.1 KiB
Plaintext
27 lines
1.1 KiB
Plaintext
This directory contains some example stylesheets for use with the term_to_xml
|
|
library module.
|
|
|
|
You can apply a stylesheet to an XML document using the program xsltproc
|
|
(available from http://xmlsoft.org/XSLT) or any other XSLT tool. You can also
|
|
include a reference to the stylesheet in the XML document and have your browser
|
|
apply the stylesheet, although this only works with some browsers.
|
|
|
|
mercury_term.xsl
|
|
Stylesheet to convert an XML document generated with
|
|
term_to_xml.write_xml_doc/6 back to a Mercury term suitable for reading
|
|
with io.read/3.
|
|
|
|
xul_tree.xsl
|
|
Stylesheet to convert an XML document generated with
|
|
term_to_xml.write_xml_doc/6 to a XUL tree structure suitable for
|
|
browsing with Mozilla or Firefox.
|
|
|
|
html_234tree.xsl
|
|
Converts a 234 tree (as defined in the standard library) to an XHTML
|
|
table. The paths of each key and value are also shown. This
|
|
is useful for looking up values or keys in 234 trees (which are used
|
|
to implement the `map' standard library type) from the
|
|
debugger by using the search facilities of your web browser,
|
|
although it's impractical for very large 234 trees and doesn't work
|
|
with nested 234 trees.
|