File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 754754\newcommand {\NULL }{\constant {NULL}}
755755\newcommand {\infinity }{\ensuremath {\infty }}
756756\newcommand {\plusminus }{\ensuremath {\pm }}
757+ \newcommand {\menuselection }[1]{{\def\sub { \ensuremath {>} }#1}}
757758
758759% Also for consistency: spell Python "Python", not "python"!
759760
857858\newcommand {\programopt }[1]{\strong {#1}}
858859% Note that \longprogramopt provides the '--'!
859860\newcommand {\longprogramopt }[1]{\strong {-{}-#1}}
861+ % \ulink{link text}{URL}
862+ \newcommand {\ulink }[2]{#1}
860863
861864% cited titles: \citetitle{Title of Work}
862865% online: \citetitle[url-to-resource]{Title of Work}
863866\newcommand {\citetitle }[2][URL]{\emph {#2 }}
864867
865868
869+ \newenvironment {productionlist}[1][\py@badkey ]{
870+ \def\optional ##1{{\Large [}##1{\Large ]}}
871+ \def\production ##1##2{\code {##1}&::=&\code {##2}\\ }
872+ \def\orgroup ##1{{\def\or {\textbar \ }##1}}
873+ \def\token ##1{##1}
874+ \begin {center }
875+ \begin {tabular }{lcl}
876+ }{%
877+ \end {tabular}
878+ \end {center}
879+ }
880+
866881% Deprecation stuff.
867882% Should be extended to allow an index / list of deprecated stuff. But
868883% there's a lot of stuff that needs to be done to make that automatable.
You can’t perform that action at this time.
0 commit comments