<?xml version="1.0"?>
<!-- 
	This stylesheet creates a property file of text substitutions
	that can be used to update assertion numbers from CR to PR
	
	ChangeLog:
	
	2007-02-25: Arthur Ryman <ryman@ca.ibm.com>
	- created
	
-->

<xsl:stylesheet version="1.0"
	xmlns:xsl="http://www.w3.org/1999/XSL/Transform">

	<xsl:output method="text" />

	<xsl:template match="/">
		<xsl:apply-templates select="//assert" />
	</xsl:template>

	<xsl:template match="assert">
		<xsl:value-of select="concat(@cr-id,'=',@id)" />
		<xsl:text>&#x0A;</xsl:text>
	</xsl:template>

</xsl:stylesheet>