diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/backnaur/backnaur.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/backnaur/backnaur.sty | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Master/texmf-dist/tex/latex/backnaur/backnaur.sty b/Master/texmf-dist/tex/latex/backnaur/backnaur.sty index 704d3d4f152..5f863c0dbd8 100644 --- a/Master/texmf-dist/tex/latex/backnaur/backnaur.sty +++ b/Master/texmf-dist/tex/latex/backnaur/backnaur.sty @@ -6,7 +6,7 @@ %% %% backnaur.dtx (with options: `package') %% -%% Copyright (C) 2012 by Adrian P Robson +%% Copyright (C) 2019 by Adrian P Robson %% adrian.robson@nepsweb.co.uk %% %% This work may be distributed and/or modified under the @@ -25,7 +25,7 @@ %% \NeedsTeXFormat{LaTeX2e}[2011/06/27] \ProvidesPackage{backnaur} -[2012/12/12 1.1 Typesetting for Backus-Naur Form (BNF) definitions] +[2019/04/14 2.0 Typesetting for Backus-Naur Form (BNF) definitions] \newenvironment{bnf}% {\begin{eqnarray}}% {\end{eqnarray}\ignorespacesafterend} @@ -36,13 +36,15 @@ \newcommand{\bnfor}{\; \mid \;} \newcommand{\bnfsp}{\;} \newcommand{\bnfes}{\lambda} -\newcommand\bnf@tsfont[1]{\textrm{#1}} +\newcommand\bnf@tsfont[1]{\texttt{#1}} \newcommand{\bnfts}[1]{\textnormal{\bnf@tsfont{#1}}} \newcommand{\bnftd}[1]{\textnormal{\it #1}} \newcommand{\bnfsk}{\dots} \newcommand{\bnfpo}{\models} \newcommand{\bnfprod}[2]{\bnfpn{#1} & \bnfpo & #2} -\DeclareOption{tstt}{\renewcommand\bnf@tsfont[1]{\texttt{#1}}} +\newcommand{\bnfmore}[1]{ & & #1} +\DeclareOption{tstt}{} +\DeclareOption{tsrm}{\renewcommand\bnf@tsfont[1]{\textrm{#1}}} \DeclareOption{perp}{\renewcommand{\bnfes}{\perp}} \DeclareOption{epsilon}{\renewcommand{\bnfes}{\epsilon}} \ProcessOptions\relax |