1 files changed, 51 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/backnaur/backnaur.sty b/Master/texmf-dist/tex/latex/backnaur/backnaur.sty
new file mode 100644
index 00000000000..704d3d4f152
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/backnaur/backnaur.sty
@@ -0,0 +1,51 @@
+%%
+%% This is file `backnaur.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% backnaur.dtx  (with options: `package')
+%% 
+%% Copyright (C) 2012 by Adrian P Robson
+%%    adrian.robson@nepsweb.co.uk
+%% 
+%% This work may be distributed and/or modified under the
+%% conditions of the LaTeX Project Public License, either
+%% version 1.3c of this license or (at your option) any later
+%% version. The latest version of this license is in
+%%    http://www.latex-project.org/lppl.txt
+%% 
+%% This work has the LPPL maintenance status `maintained'.
+%% The Current Maintainer of this work is Adrian Robson.
+%% 
+%% This work consists of the files backnaur.dtx and
+%%                                 backnaur.ins
+%% and the derived files           backnaur.sty and
+%%                                 backnaur.pdf
+%% 
+\NeedsTeXFormat{LaTeX2e}[2011/06/27]
+\ProvidesPackage{backnaur}
+[2012/12/12 1.1 Typesetting for Backus-Naur Form (BNF) definitions]
+\newenvironment{bnf}%
+{\begin{eqnarray}}%
+{\end{eqnarray}\ignorespacesafterend}
+\newenvironment{bnf*}%
+{\begin{eqnarray*}}%
+{\end{eqnarray*}\ignorespacesafterend}
+\newcommand{\bnfpn}[1]{\langle \textnormal{#1} \rangle}
+\newcommand{\bnfor}{\; \mid \;}
+\newcommand{\bnfsp}{\;}
+\newcommand{\bnfes}{\lambda}
+\newcommand\bnf@tsfont[1]{\textrm{#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}}}
+\DeclareOption{perp}{\renewcommand{\bnfes}{\perp}}
+\DeclareOption{epsilon}{\renewcommand{\bnfes}{\epsilon}}
+\ProcessOptions\relax
+\endinput
+%%
+%% End of file `backnaur.sty'.