[Termtools] CSS stylesheets for XTC and CPF files?

[Christian Sternagel]

Dear Frederic,

I once created an XSL Stylesheet for XTC (which I call XTP, since XTC
was originally thought for certification, if I remember correctly). I
just made it available through bitbucket:

   https://bitbucket.org/csternagel/xtp-style-sheet/

Maybe somebody can make use of it. I did not check whether it is
up-to-date, but it is a start and we can easily update it on bitbucket.

cheers

chris

PS: I tried to post this e-mail earlier (accidentally from another 
e-mail address) but it did never arrive at termtools, even though I got 
no error message. An error message would have been helpful to figure 
this out faster ;)

On 05/09/2013 04:12 PM, René Thiemann wrote:
> Dear Frederic,
>
>> Does anyone know where can I find CSS stylesheets for displaying XTC and CPF files?
>
> You can find the XSL-file for displaying CPF as HTML on the cpf-homepage:
>
> http://cl-informatik.uibk.ac.at/software/cpf/
> or more specific:
> http://cl2-informatik.uibk.ac.at/rewriting/mercurial.cgi/CPF/raw-file/tip/cpfHTML.xsl
>
>
> Regarding the XSL-file for XTC, there is a XTC to ASCII transformer on termcomp:
>
> http://termcomp.uibk.ac.at
> or more specific:
> http://termcomp.uibk.ac.at/2012/xtc2tpdb.xsl
>
> Cheers,
> René
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>