summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/backnaur
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-12-13 00:23:24 +0000
committerKarl Berry <karl@freefriends.org>2012-12-13 00:23:24 +0000
commitd1d04225520c250b38a97909df849a985df0b641 (patch)
tree03fd7e330a9129f38d2e369e6a077ae938f377a5 /Master/texmf-dist/tex/latex/backnaur
parentf8e86ec9cb8d2ae745356441baa359900a07858e (diff)
new latex package backnaur (12dec12)
git-svn-id: svn://tug.org/texlive/trunk@28513 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/backnaur')
-rw-r--r--Master/texmf-dist/tex/latex/backnaur/backnaur.sty51
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'.