From c82bd7281fb52a66c59f567b7da18390ed9957c1 Mon Sep 17 00:00:00 2001 From: Fred Drake Date: Tue, 11 Dec 2001 18:47:36 +0000 Subject: [PATCH] Save a new version of the productionlist environment for safe-keeping; this will be replaced shortly. See the comments for more details. --- Doc/texinputs/python.sty | 27 ++++++++++++++++++++++----- 1 file changed, 22 insertions(+), 5 deletions(-) diff --git a/Doc/texinputs/python.sty b/Doc/texinputs/python.sty index bddffe7ceb2..51ee8042507 100644 --- a/Doc/texinputs/python.sty +++ b/Doc/texinputs/python.sty @@ -888,18 +888,35 @@ +% This version is being checked in for the historical record; it shows +% how I've managed to get some aspects of this to work. It will not +% be used in practice, so a subsequent revision will change things +% again. This version has problems, but shows how to do something +% that proved more tedious than I'd expected, so I don't want to lose +% the example completely. +% \newcommand{\grammartoken}[1]{\texttt{#1}} \newenvironment{productionlist}[1][\py@badkey]{ \def\optional##1{{\Large[}##1{\Large]}} \def\production##1##2{\code{##1}&::=&\code{##2}\\} - \def\orgroup##1{{\def\or{\textbar\ }##1}} + \def\orgroup##1{{\def\oritem{\textbar\ }##1}} + \def\orgroup*##1{{ + \def\oritem{\\ \textbar&} + % This uses math mode's ``negative thin space'' to avoid a weird + % indentation that I've not been able to figure out, but + % probably relates to nesting tabular environments. + $\!\!\!\!\!\!\!\!\!\!$% + \begin{tabular}[t]{ll} + \ & ##1 + \end{tabular} + }} \def\token##1{##1} \let\grammartoken=\token - \begin{center} - \begin{tabular}{lcl} + \parindent=2em + \indent + \begin{tabular}{lcl} }{% - \end{tabular} - \end{center} + \end{tabular} } \newcommand{\note}[1]{\strong{Note:} #1}