File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 690690 <attribute name =" token" />
691691 <content />
692692 </macro >
693- <macro name =" token " outputname = " grammartoken " >
693+ <macro name =" productioncont " >
694694 <content />
695695 </macro >
696- <macro name =" grammartoken" >
696+ <macro name =" token " outputname = " grammartoken" >
697697 <content />
698698 </macro >
699- <macro name =" orgroup " >
699+ <macro name =" grammartoken " >
700700 <content />
701701 </macro >
702- <macro name =" oritem" />
703702
704703 <!-- Misc. -->
705704 <macro name =" emph" >
876875 <macro name =" textbar" outputname =" " >
877876 <text >|</text >
878877 </macro >
878+ <macro name =" textgreater" outputname =" " >
879+ <text >> </text >
880+ </macro >
881+ <macro name =" textless" outputname =" " >
882+ <text >< </text >
883+ </macro >
879884
880885 <!-- These will end up disappearing as well! -->
881886 <macro name =" catcode" outputname =" " />
You can’t perform that action at this time.
0 commit comments