XTC Format Specification

From Termination-Portal.org
Revision as of 12:16, 13 February 2009 by Binabik (talk | contribs)
Jump to navigationJump to search

Schema

For now see http://dev.aspsimon.org/xtc.xsd

XSLT Transformation

The stylesheet can be found here: http://dev.aspsimon.org/workspace/projectdownloads/xtc2tpdb.xsl. More information to follow.