%% %% 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'.