Add support for \textgreater, \textless.
Updated productionlist environment.
This commit is contained in:
parent
f32e459125
commit
9b3e2ca74d
|
@ -690,16 +690,15 @@
|
|||
<attribute name="token"/>
|
||||
<content/>
|
||||
</macro>
|
||||
<macro name="productioncont">
|
||||
<content/>
|
||||
</macro>
|
||||
<macro name="token" outputname="grammartoken">
|
||||
<content/>
|
||||
</macro>
|
||||
<macro name="grammartoken">
|
||||
<content/>
|
||||
</macro>
|
||||
<macro name="orgroup">
|
||||
<content/>
|
||||
</macro>
|
||||
<macro name="oritem"/>
|
||||
|
||||
<!-- Misc. -->
|
||||
<macro name="emph">
|
||||
|
@ -876,6 +875,12 @@
|
|||
<macro name="textbar" outputname="">
|
||||
<text>|</text>
|
||||
</macro>
|
||||
<macro name="textgreater" outputname="">
|
||||
<text>></text>
|
||||
</macro>
|
||||
<macro name="textless" outputname="">
|
||||
<text><</text>
|
||||
</macro>
|
||||
|
||||
<!-- These will end up disappearing as well! -->
|
||||
<macro name="catcode" outputname=""/>
|
||||
|
|
Loading…
Reference in New Issue