summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-07-16 21:14:36 +0000
committerKarl Berry <karl@freefriends.org>2019-07-16 21:14:36 +0000
commitcf12bb505e9a4455ac9fb495f04cf7a2d079186c (patch)
treeeeb96649fd30bc3ac8752f78005b52d8efc47d57 /Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty
parentd2055c0169cf583fb9af2de4061319e5b31a4303 (diff)
lwarp (16jul19)
git-svn-id: svn://tug.org/texlive/trunk@51653 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty')
-rw-r--r--Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty36
1 files changed, 3 insertions, 33 deletions
diff --git a/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty b/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty
index 3b9ab2f58c9..e6fec10cc14 100644
--- a/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty
+++ b/Master/texmf-dist/tex/latex/lwarp/lwarp-backnaur.sty
@@ -15,39 +15,9 @@
%% http://www.latex-project.org/lppl.txt
%% and version 1.3 or later is part of all distributions of LaTeX
%% version 2005/12/01 or later.
-\LWR@ProvidesPackagePass{backnaur}[2019/04/14]
-\renewenvironment*{bnf}{%
- \BlockClass{backnaur}%
- \LWR@stoppars%
-}{\endBlockClass}
-
-\renewenvironment*{bnf*}{%
- \BlockClass{backnaur}%
- \LWR@stoppars%
-}{\endBlockClass}
-
-\renewcommand{\bnfpn}[1]{\HTMLunicode{27e8}#1\HTMLunicode{27e9}}% \langle, rangle
-\renewcommand{\bnfor}{ \HTMLunicode{7c} }% \mid
-\renewcommand{\bnfsp}{ }
-\renewcommand{\bnfes}{\HTMLunicode{3bb}}% \lambda
-\renewcommand{\bnftd}[1]{\textnormal{\textit{#1}}}
-\renewcommand{\bnfsk}{\HTMLunicode{2026} }% \dots, ellipsis
-\renewcommand{\bnfpo}{\HTMLunicode{22a8}}% \models
-
-\renewcommand{\bnfprod}[2]{%
- \begin{BlockClass}{backnaurprod}\bnfpn{#1} \bnfpo \end{BlockClass}%
- \begin{BlockClass}{backnaurdesc}#2\end{BlockClass}%
- \LWR@stoppars%
-}%
-
-\renewcommand{\bnfmore}[1]{%
- \begin{BlockClass}{backnaurprod}\end{BlockClass}
- \begin{BlockClass}{backnaurdesc}#1\end{BlockClass}
- \LWR@stoppars%
-}
-
-\@ifpackagewith{backnaur}{perp}{\renewcommand{\bnfes}{\HTMLunicode{27c2}}}{}% \perp
-\@ifpackagewith{backnaur}{epsilon}{\renewcommand{\bnfes}{\HTMLunicode{3f5}}}{}% \epsilon
+\LWR@ProvidesPackagePass{backnaur}[2019/06/18]
+\renewenvironment{bnf}{\eqnarray}{\endeqnarray}
+\renewenvironment{bnf*}{\csuse{eqnarray*}}{\csuse{endeqnarray*}}
\endinput
%%
%% End of file `lwarp-backnaur.sty'.