Jump to content

XTC Format Specification

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

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.

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=XTC_Format_Specification&oldid=701"