XTC Format Specification

From Termination-Portal.org

Revision as of 12:16, 13 February 2009 by Binabik (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump 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.

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

Navigation menu