[Termtools] Automatic pretty-printing of XTC files in Firefox?
Rene.Thiemann at uibk.ac.at
Mon Jul 16 12:12:43 CEST 2018
there are two problems here.
1) On a local machine (downloaded TPDB), one has to change one Firefox-security parameter, namely setting preference "security.fileuri.strict_origin_policy" to false on page about:config should work.
2) The page on starexec you are referring to lists in its second line the stylesheet:
<?xml-stylesheet href="xtc2tpdb.xsl" type="text/xsl”?>
And I guess that this link is not pointing to the correct location on starexec.
To solve this problem, you can follow the guide by Johannes (which posted his email while I was
typing this one)
> Am 16.07.2018 um 09:49 schrieb Frédéric Blanqui <frederic.blanqui at inria.fr>:
> 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?
> Termtools mailing list
> Termtools at lri.fr
More information about the Termtools