Wojciech Polak b7a7016204 2007-10-17 Wojciech Polak <polak@gnu.org> ...

* src/print-xml.c (print_grammar): Renamed
	<terminal> and <nonterminal> attributes:
	"type" to "number" and "symbol" to "name".
	* data/xslt/xml2text.xsl (xsl:template match="terminal"):
	Use new attribute names.
	(xsl:template match="nonterminal"): Likewise.
	* data/xslt/xml2xhtml.xsl: Likewise.

2007-10-17 18:13:53 +00:00

731 KiB

Raw Blame History

View Raw