[Termtools] Automatic pretty-printing of XTC files in Firefox?

[Johannes Waldmann]

Hi Frederic,

> I cannot remember what to do to have XTC files automatically
> pretty-printed in Firefox. For instance:
> https://www.starexec.org/starexec/services/benchmarks/7652799/contents?limit=-1
> . Could someone recall me what to do?

use the xsl transformer available from
http://cl2-informatik.uibk.ac.at/mercurial.cgi/TPDB/file/296aba263839/xml


Example:
see https://termcomp.imn.htwk-leipzig.de/render/benchmarks/1122194
using
<?xml-stylesheet type="text/xsl" href="/static/xsl/xtcHTML.xsl"?>
(I have a local copy of the file on my server)


I will add this info to http://www.termination-portal.org/wiki/TPDB

By the way, if anyone can add more comments to the "sources" section
on that page - please do! (Edit on the page, or email to this list,
and I'll copy.)


- Johannes.