diff options
| author | coqbot-app[bot] | 2020-08-26 17:28:04 +0000 |
|---|---|---|
| committer | GitHub | 2020-08-26 17:28:04 +0000 |
| commit | 748299d286b575f749bf7f5d9c9b7d2842a281a7 (patch) | |
| tree | a9a2527478ec271dfbe37c37c309dcade5ed382a /doc/sphinx/_static/coqnotations.sty | |
| parent | 4e6b029805a74ea16166da2c5f59f9669fd34eb8 (diff) | |
| parent | 4a7e39323bd57ac41ec90d4ea18f10423029e8b5 (diff) | |
Merge PR #12085: Convert ltac2 chapter to use prodn, update syntax
Reviewed-by: JasonGross
Reviewed-by: Zimmi48
Ack-by: jfehrle
Ack-by: ppedrot
Diffstat (limited to 'doc/sphinx/_static/coqnotations.sty')
| -rw-r--r-- | doc/sphinx/_static/coqnotations.sty | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/sphinx/_static/coqnotations.sty b/doc/sphinx/_static/coqnotations.sty index 3dfe4db439..2b1678e7ef 100644 --- a/doc/sphinx/_static/coqnotations.sty +++ b/doc/sphinx/_static/coqnotations.sty @@ -79,7 +79,7 @@ \newcssclass{prodn-table}{% \begin{savenotes} \sphinxattablestart - \begin{tabulary}{\linewidth}[t]{lLL} + \begin{tabulary}{\linewidth}[t]{lLLL} #1 \end{tabulary} \par @@ -89,4 +89,5 @@ \newcssclass{prodn-target}{\raisebox{\dimexpr \nscriptsize \relax}{#1}} \newcssclass{prodn-cell-nonterminal}{#1 &} \newcssclass{prodn-cell-op}{#1 &} -\newcssclass{prodn-cell-production}{#1\\} +\newcssclass{prodn-cell-production}{#1 &} +\newcssclass{prodn-cell-tag}{#1\\} |