diff options
| -rw-r--r-- | Master/texmf-dist/doc/latex/backnaur/README | 29 | ||||
| -rw-r--r-- | Master/texmf-dist/doc/latex/backnaur/backnaur.pdf | bin | 0 -> 306704 bytes | |||
| -rw-r--r-- | Master/texmf-dist/source/latex/backnaur/backnaur.dtx | 551 | ||||
| -rw-r--r-- | Master/texmf-dist/source/latex/backnaur/backnaur.ins | 82 | ||||
| -rw-r--r-- | Master/texmf-dist/tex/latex/backnaur/backnaur.sty | 51 | ||||
| -rwxr-xr-x | Master/tlpkg/bin/tlpkg-ctan-check | 2 | ||||
| -rw-r--r-- | Master/tlpkg/tlpsrc/backnaur.tlpsrc | 0 | ||||
| -rw-r--r-- | Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc | 1 |
8 files changed, 715 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/latex/backnaur/README b/Master/texmf-dist/doc/latex/backnaur/README new file mode 100644 index 00000000000..8e2b81ef80b --- /dev/null +++ b/Master/texmf-dist/doc/latex/backnaur/README @@ -0,0 +1,29 @@ +The backnaur package typesets Backus-Naur Form (BNF) +definitions. It prints formatted lists of productions, +with numbers if required. It can also print in line BNF +expressions using math mode. + +To install the package, run LaTeX on the installation script +backnaur.ins and follow the instructions provided by the script +itself. + +Run LaTeX on backnaur.dtx to get the package's documentation. +Comment out this files 'OnlyDescription' line to include the +implementation documentation. + +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 diff --git a/Master/texmf-dist/doc/latex/backnaur/backnaur.pdf b/Master/texmf-dist/doc/latex/backnaur/backnaur.pdf Binary files differnew file mode 100644 index 00000000000..4cf57741436 --- /dev/null +++ b/Master/texmf-dist/doc/latex/backnaur/backnaur.pdf diff --git a/Master/texmf-dist/source/latex/backnaur/backnaur.dtx b/Master/texmf-dist/source/latex/backnaur/backnaur.dtx new file mode 100644 index 00000000000..bf04cc42ba0 --- /dev/null +++ b/Master/texmf-dist/source/latex/backnaur/backnaur.dtx @@ -0,0 +1,551 @@ +% \iffalse meta-comment +% +% backnaur.dtx +% 4 December 2012 +% +% Documented LaTeX file for the backnaur package. +% +% Run LaTeX on backnaur.ini to make the package's +% backnaur.sty file. +% +% Run LaTeX on this file to produce the package +% documentation. +% +% 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 +% ----------------------------------------------------------- +% \fi +% +% \iffalse +%<package>\NeedsTeXFormat{LaTeX2e}[2011/06/27] +%<package>\ProvidesPackage{backnaur} +%<package>[2012/12/12 1.1 Typesetting for Backus-Naur Form (BNF) definitions] +%<*driver> +\documentclass[10pt,a4paper]{ltxdoc} +\usepackage{backnaur} +\usepackage[T1]{fontenc} +\usepackage{lmodern} +\usepackage{textcomp} +\usepackage{bigstrut} +\EnableCrossrefs +\CodelineIndex +\RecordChanges +\OnlyDescription % comment out for code implementation +\begin{document} +\DocInput{backnaur.dtx} +\end{document} +%</driver> +% \fi +% +%^^A------------------------------------------------------------------- +%^^A Change log... +%^^A-------------- +%^^A +%^^A 15 November 2012 +%^^A The original was based on a non-packaged version that was used +%^^A in 2008 for the LaTeX editions of the author's foggy times +%^^A reports. +% \changes{v1.0}{2012/11/15} +% {Initial version of the package.} +%^^A +%^^A 3 December 2012 +%^^A Add tstt option and generally rewrite documentation +% \changes{v1.1}{2012/12/12} +% {Added {\tt tstt} option, and improved documentation.} +%^^A------------------------------------------------------------------- +% +%^^A \CheckSum{0} %^^A no checksum for development +% \CheckSum{59} +% \CharacterTable +% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z +% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z +% Digits \0\1\2\3\4\5\6\7\8\9 +% Exclamation \! Double quote \" Hash (number) \# +% Dollar \$ Percent \% Ampersand \& +% Acute accent \' Left paren \( Right paren \) +% Asterisk \* Plus \+ Comma \, +% Minus \- Point \. Solidus \/ +% Colon \: Semicolon \; Less than \< +% Equals \= Greater than \> Question mark \? +% Commercial at \@ Left bracket \[ Backslash \\ +% Right bracket \] Circumflex \^ Underscore \_ +% Grave accent \` Left brace \{ Vertical bar \| +% Right brace \} Tilde \~} +% +% \GetFileInfo{backnaur.sty} +% +% \title{The \textsf{backnaur} package\thanks{ +% This work replaces \emph{Writing BNF Notation in LaTeX}, +% which described a non-package method of BNF typesetting. +% This document corresponds to \textsf{backnaur}~\fileversion, dated~\filedate.}} +% +% \author{Adrian P. Robson\thanks{\texttt{adrian.robson@nepsweb.co.uk}}} +% \date{12 December 2012} +% +% \maketitle +% +%^^A------------------------------------------------------------------- +%^^A Start report body +%^^A------------------------------------------------------------------- +% +% \section{Introduction} +% +% The \textsf{backnaur} package typesets Backus-Naur Form (BNF) definitions. +% It creates aligned lists of productions, with numbers if required. +% It can also print in line BNF expressions using math mode. +% +% Backus-Naur Form is a notation for defining context free grammars. +% It is used to describe such things as programming languages, communication protocols +% and command syntaxes, but it can be useful whenever a rigorous definition of language is needed. +% +% \section{BNF Definitions} +% +% The following is a BNF definition of a semicolon separated list: +% \begin{bnf*} +% \bnfprod{list} +% {\bnfpn{listitems} \bnfor \bnfes}\\ +% \bnfprod{listitems} +% {\bnfpn{item} \bnfor \bnfpn{item} +% \bnfsp \bnfts{;} \bnfsp \bnfpn{listitems}}\\ +% \bnfprod{item} +% { \bnftd{description of item}} +% \end{bnf*} +% +% \noindent +% Here, $\bnfpo$ signifies \emph{produces}, $\mid$ is an \emph{or} operator, $\langle$...$\rangle$ +% are \emph{production names}, +% and $\bnfes$ represents the \emph{empty string}. +% However, some BNF users prefer alternative terminologies, +% where $\bnfpo$ stands for \emph{is defined as}, +% $\langle$...$\rangle$ is a \emph{category name} or \emph{nonterminal}, +% and $\bnfes$ is refered to as \emph{null} or \emph{empty}. +% +% The above definition was created with the following code: +% +%\begin{verbatim} +%\usepackage{backnaur} +%... +%\begin{bnf*} +% \bnfprod{list} +% {\bnfpn{listitems} \bnfor \bnfes}\\ +% \bnfprod{listitems} +% {\bnfpn{item} \bnfor \bnfpn{item} +% \bnfsp \bnfts{;} \bnfsp \bnfpn{listitems}}\\ +% \bnfprod{item} +% {\bnftd{description of item}} +%\end{bnf*} +% +%\end{verbatim} +% +% \noindent +% Each BNF production is defined by a |\bnfprod| command, which has two arguments +% giving its left and right sides. +% The right hand side of each production is specified with the commands described in +% \S\ref{commandDesc}. +% Terminal (|\bnfts{;}|) and nonterminal (|\bnfpn{item}|), elements are separated +% by spaces (|\bnfsp|) and OR symbols (|\bnfor|). +% The |\bnfes| command gives the symbol for the empty string. +% +% \section{Package Commands}\label{commandDesc} +% +% \subsection{Loading and options}\label{packopts} +% +% The package is loaded with +% +% \medskip\noindent +% \hspace{2.5em}|\usepackage{backnaur}| \\ +% or\\ +% \hspace*{2.5em}|\usepackage[|<options>|]{backnaur}| +% \medskip +% +% \noindent +% Possible options are +% +% \vspace{-1.5ex} +% \begin{tabbing} +% xxxxxxxxx \=\kill +% |perp| \>The empty string symbol is $\perp$\\ +% |epsilon| \> The empty string symbol is $\epsilon$\\ +% |tstt| \> Terminal string typeface is typewriter +% \end{tabbing} +% \vspace{-1ex} +% +% \noindent +% The defaults are: the empty string symbol is $\lambda$, +% and the terminal string typeface is normal (roman). +% +% \subsection{Environments} +% +% \DescribeEnv{bnf} +% BNF productions are defined in a |bnf| or |bnf*| environment, +% which respectively give numbered and unnumbered lists of productions. +% \DescribeEnv{bnf*} +% \begin{quote} +% \begin{minipage}{0.5\linewidth} +% |\begin{bnf}|\\ +% \hspace*{1em}<list of productions>\\ +% |\end{bnf}| +% \end{minipage} +% \begin{minipage}{0.45\linewidth} +% |\begin{bnf*}|\\ +% \hspace*{1em}<list of productions>\\ +% |\end{bnf*}| +% \end{minipage} +% \end{quote} +% +% \subsection{Productions} +% +% \DescribeMacro{\bnfprod} +% A production is defined by |\bnfprod|, which takes two arguments: +% \begin{quote} +% |\bnfprod{|<production name>|}{|<production definition>|}| +% \end{quote} +% +% \subsection{Production definitions} +% +% The following commands are used to compose the right hand side of a production. +% They are deployed in the second argument of the |\bnfprod| command. +% +% \DescribeMacro{\bnfpn} +% The |\bnfpn| command generates a production name. +% It takes a single argument that is the name. +% It is used as follows: +% \begin{quote} +% \begin{minipage}{0.6\linewidth} +% |\bnfpn{list item}| +% \end{minipage} +% \begin{minipage}{0.3\linewidth} +% $\bnfpn{list item}$ +% \end{minipage} +% \end{quote} +% +% \DescribeMacro{\bnftm} +% There are three types of terminal item: a literal string, a descriptive phrase and an empty string. +% \DescribeMacro{\bnftd} +% A literal terminal string is specified by the |\bnftm| command, which takes a single argument. +% \DescribeMacro{\bnfes} +% The |\bnftd| command generates a descriptive phrase, as an alternative to a literal string. +% The |\bnfes| command generates a token that represents the empty string. +% This is normally $\bnfes$, but it can be changed as a package option (see \S\ref{packopts}). +% \begin{quote} +% \begin{minipage}{0.6\linewidth} +% |\bnfts{terminal}|\\ +% |\bnftd{description}|\\ +% |\bnfes| +% \end{minipage} +% \begin{minipage}{0.3\linewidth} +% $\bnfts{terminal}$\\ +% $\bnftd{description}$\\ +% $\bnfes$ +% \end{minipage} +% \end{quote} +% +% \DescribeMacro{\bnfsk} +% Some literal terminal strings can be abbreviated with the `skip' token, +% which is generated by the |\bnfsk| command. +% This substitutes for a sequence of terminal characters. +% It is used like this: +% \begin{quote} +% \begin{minipage}{0.6\linewidth} +% |\bnfts{A} \bnfsk \bnfts{Z}| +% \end{minipage} +% \begin{minipage}{0.3\linewidth} +% $\bnfts{A} \bnfsk \bnfts{Z}$ +% \end{minipage} +% \end{quote} +% +% \DescribeMacro{\bnfor} +% All items are separated by an OR or a space. +% The |\bnfor| command generates the OR symbol, and the |\bnfsp| command introduces a space. +% \DescribeMacro{\bnfsp} +% A space can be considered equivalent to an AND operator. +% \begin{quote} +% \begin{minipage}{0.6\linewidth} +% |\bnfpn{abc} \bnfor \bnfts{xzy}|\\ +% |\bnfpn{abc} \bnfsp \bnfts{xzy}| +% \end{minipage} +% \begin{minipage}{0.3\linewidth} +% $\bnfpn{abc} \bnfor \bnfts{xzy}$\\ +% $\bnfpn{abc} \bnfsp \bnfts{xzy}$ +% \end{minipage} +% \end{quote} +% +% \subsection{Inline expressions} +% +% The package's definition commands can be typeset inline using maths mode, +% so the expression |$\bnfpn{name}$| will give $\bnfpn{name}$. +% +% \DescribeMacro{\bnfpo} +% The |\bnfpo| command is provided so that the production operator $\bnfpo$ +% can be printed independently from the |bnf| environment if required. +% The |\bnfprod| command cannot be used inline. +% +% \DescribeMacro{\bnfpo} +% The |\bnfpo| command is provided so that the production operator $\bnfpo$ +% can be printed independently from the |bnf| environment if required. +% The |\bnfprod| command cannot be used inline. +% +% \DescribeMacro{\bnfpo} +% The |\bnfprod| command cannot be used inline. +% So the |\bnfpo| command is provided so that the production operator $\bnfpo$ +% can be printed independently from the |bnf| environment if required. +% +% \subsection{Command summary} +% +% The commands that can be used to define a BNF production in a |bnf| or |bnf*| environment +% are as follows: +% +% \begin{center} +% \begin{tabular}{lll} +% \hline +% Command & Operator & Outcome \bigstrut \\ +% \hline +% |\bnfpn{}| & production name & $\bnfpn{name}$ \bigstrut[t] \\ +% |\bnfor| & OR operator & $\bnfor$ \\ +% |\bnfsk| & skip & $\bnfsk$ \\ +% |\bnfsp| & space/AND operator & $\bnfsp$ \\ +% |\bnfes| & empty string & $\bnfes$ \\ +% |\bnfts{}| & terminal string & $\bnfts{terminal}$ \\ +% |\bnftd{}| & terminal description & $\bnftd{description}$ \\ +% |\bnfpo| & production operator & $\bnfpo$ \bigstrut[b] \\ +% \hline +% \end{tabular} +% \end{center} +% +% \section{Example}\label{example} +% +% A more significant example is the following definition of a $\bnfpn{sentence}$, +% where $\bnfpn{cchar}$ are countable characters, and $\bnfpn{ichar}$ are characters +% that should be ignored: +% +% \begin{samepage} +% \small +%\begin{verbatim} +%\begin{bnf*} +% \bnfprod{sentence} +% {\bnfpn{start} \bnfsp \bnfpn{rest} \bnfsp \bnfts{.}}\\ +% \bnfprod{start} +% {\bnfpn{space} \bnfor \bnfes}\\ +% \bnfprod{rest} +% {\bnfpn{word} \bnfsp \bnfpn{space} \bnfsp \bnfpn{rest} +% \bnfor \bnfpn{word} \bnfor \bnfes}\\ +% \bnfprod{word} +% {\bnfpn{wchar} \bnfsp \bnfpn{word} \bnfor \bnfpn{wchar}}\\ +% \bnfprod{space} +% {\bnfpn{schar} \bnfsp \bnfpn{space} \bnfor \bnfpn{schar}}\\ +% \bnfprod{wchar} +% {\bnfpn{cchar} \bnfor \bnfpn{ichar} }\\ +% \bnfprod{cchar} +% {\bnfts{A} \bnfsk \bnfts{Z} \bnfor \bnfts{a} \bnfsk \bnfts{z} +% \bnfor \bnfts{0} \bnfsk \bnfts{9} \bnfor +% \bnfts{\textquotesingle}}\\ +% \bnfprod{ichar} +% {-}\\ +% \bnfprod{schar} +% {\bnfts{`\hspace{1em}'} \bnfor \bnfts{!} \bnfor \bnfts{"} +% \bnfor \bnfts{(} \bnfor \bnfts{)} \bnfor \bnfts{\{} \bnfor +% \bnfts{\}} \bnfor \bnfts{:} \bnfor \bnfts{;} \bnfor \bnfts{?} +% \bnfor \bnfts{,}}\\ +%\end{bnf*} +%\end{verbatim} +% \end{samepage} +% +% \noindent +% This creates the following BNF definition: +% \begin{bnf*} +% \bnfprod{sentence} +% {\bnfpn{start} \bnfsp \bnfpn{rest} \bnfsp \bnfts{.}}\\ +% \bnfprod{start} +% {\bnfpn{space} \bnfor \bnfes}\\ +% \bnfprod{rest} +% {\bnfpn{word} \bnfsp \bnfpn{space} \bnfsp \bnfpn{rest} +% \bnfor \bnfpn{word} \bnfor \bnfes }\\ +% \bnfprod{word} +% {\bnfpn{wchar} \bnfsp \bnfpn{word} \bnfor \bnfpn{wchar}}\\ +% \bnfprod{space} +% {\bnfpn{schar} \bnfsp \bnfpn{space} \bnfor \bnfpn{schar}}\\ +% \bnfprod{wchar} +% {\bnfpn{cchar} \bnfor \bnfpn{ichar} }\\ +% \bnfprod{cchar} +% {\bnfts{A} \bnfsk \bnfts{Z} \bnfor \bnfts{a} \bnfsk +% \bnfts{z} \bnfor \bnfts{0} \bnfsk \bnfts{9} \bnfor +% \bnfts{\textquotesingle} }\\ +% \bnfprod{ichar} +% {-}\\ +% \bnfprod{schar} +% {\bnfts{`\hspace{1em}'} \bnfor \bnfts{!} \bnfor \bnfts{"} +% \bnfor \bnfts{(} \bnfor \bnfts{)} \bnfor \bnfts{\{} +% \bnfor \bnfts{\}} \bnfor \bnfts{:} \bnfor \bnfts{;} +% \bnfor \bnfts{?} \bnfor \bnfts{,} } +% \end{bnf*} +% +% +%^^A------------------------------------------------------------------- +%^^A Start code implementation +%^^A------------------------------------------------------------------- +% +% \StopEventually{} +%^^A \StopEventually{\PrintChanges} +%^^A -> Run pdfLaTeX backnaur.dtx +%^^A makeindex -s gglo.ist -o backnaur.gls backnaur.glo +%^^A pdfLaTeX backnaur.dtx +%^^A \StopEventually{\PrintIndex} +%^^A -> Run pdfLaTeX backnaur.dtx +%^^A makeindex -s gind.ist -o backnaur.ind backnaur.idx +%^^A pdfLaTeX backnaur.dtx +% +% \section{Implementation} +% +% The implementation of |backnaur.sty| uses only \LaTeX{} commands. +% +% \subsection{Environments}\label{environ} +% +% There are two environments defined: +% +% \begin{environment}{bnf} +% A production list with numbers. It is simply implemented as an |eqnarray|. +% Surplus space is removed with an |\ignorespacesafterend| and |%| characters. +% \begin{macrocode} +\newenvironment{bnf}% +{\begin{eqnarray}}% +{\end{eqnarray}\ignorespacesafterend} +% \end{macrocode} +% \end{environment} +% +% \begin{environment}{bnf*} +% A lists without numbers. It is implemented with an |eqnarray*|, +% and extra space is removed as in the |bnf| environment above. +% \begin{macrocode} +\newenvironment{bnf*}% +{\begin{eqnarray*}}% +{\end{eqnarray*}\ignorespacesafterend} +% \end{macrocode} +% \end{environment} +% +% \subsection{Definition Commands} +% +% All of these commands run in the math mode supplied by the +% |bnf| and |bnf*| environments (see \S\ref{environ}). +% +% \begin{macro}{\bnfpn} +% Production name / nonterminal. +% \begin{macrocode} +\newcommand{\bnfpn}[1]{\langle \textnormal{#1} \rangle} +% \end{macrocode} +% \end{macro} +% +% \begin{macro}{\bnfor} +% OR operator. +% \begin{macrocode} +\newcommand{\bnfor}{\; \mid \;} +% \end{macrocode} +% \end{macro} +% +% \begin{macro}{\bnfsp} +% Space. +% \begin{macrocode} +\newcommand{\bnfsp}{\;} +% \end{macrocode} +% \end{macro} +% +% \begin{macro}{\bnfes} +% Empty string symbol. This is the default if no package options are given. +% \begin{macrocode} +\newcommand{\bnfes}{\lambda} +% \end{macrocode} +% \end{macro} +% +% \begin{macro}{\bnfts}\label{codebnfts} +% \changes{v1.1}{2012/12/12}{Support for {\tt tstt} option added} +% \begin{macro}{\bnf@tsfont} +% Terminal string. The font is controlled by the |\bnf@tsfont| macro, +% and this macro can be redefined by the |tstt| option (see \S\ref{codeoptions}). +% \begin{macrocode} +\newcommand\bnf@tsfont[1]{\textrm{#1}} +\newcommand{\bnfts}[1]{\textnormal{\bnf@tsfont{#1}}} +% \end{macrocode} +% \end{macro} +% \end{macro} +% +% \begin{macro}{\bnfpo} +% Terminal description. +% \begin{macrocode} +\newcommand{\bnftd}[1]{\textnormal{\it #1}} +% \end{macrocode} +% \end{macro} +% +% \begin{macro}{\bnfsk} +% Skip symbol. +% \begin{macrocode} +\newcommand{\bnfsk}{\dots} +% \end{macrocode} +% \end{macro} +% +% \begin{macro}{\bnfpo} +% Production operator. +% \begin{macrocode} +\newcommand{\bnfpo}{\models} +% \end{macrocode} +% \end{macro} +% +% \subsection{Production Commands} +% +% \begin{macro}{\bnfprod} +% A Backus-Naur Form production. +% This command is designed to exploit the behaviour the |equarray| used in +% the |bnf| and |bnf*| environments. +% In particular, the |\bnfpo| character will be vertically aligned. +% \begin{macrocode} +\newcommand{\bnfprod}[2]{\bnfpn{#1} & \bnfpo & #2} +% \end{macrocode} +% \end{macro} +% +% \subsection{Options}\label{codeoptions} +% +% \begin{macro}{tstt} +% \changes{v1.1}{2012/12/12}{New option declared} +% \begin{macro}{\bnf@tsfont} +% The |tstt| option redefines |\bnf@tsfont| to change the +% terminal string font used in the |\bnfts| command (see \S\ref{codebnfts}): +% \begin{macrocode} +\DeclareOption{tstt}{\renewcommand\bnf@tsfont[1]{\texttt{#1}}} +% \end{macrocode} +% \end{macro} +% \end{macro} +% +% \begin{macro}{perp} +% \begin{macro}{epsilon} +% \begin{macro}{\bnfes} +% The |perp| and |epsilon| options redefine |\bnfes|, +% which is the empty string command: +% \begin{macrocode} +\DeclareOption{perp}{\renewcommand{\bnfes}{\perp}} +\DeclareOption{epsilon}{\renewcommand{\bnfes}{\epsilon}} +% \end{macrocode} +% \end{macro} +% \end{macro} +% \end{macro} +% +%\noindent +% Finally, the options that have been selected are executed: +% \begin{macrocode} +\ProcessOptions\relax +% \end{macrocode} +% +% \Finale +\endinput diff --git a/Master/texmf-dist/source/latex/backnaur/backnaur.ins b/Master/texmf-dist/source/latex/backnaur/backnaur.ins new file mode 100644 index 00000000000..ccccd9186f5 --- /dev/null +++ b/Master/texmf-dist/source/latex/backnaur/backnaur.ins @@ -0,0 +1,82 @@ +% backnaur.ins +% 15 November 2012 +% +% Installation file for the backnaur package. +% +% Run LaTeX on this file, with backnaur.dtx in the same +% folder to make the package's backnaur.sty file. +% +% Run LaTeX on backnaur.dtx to produce the package +% documentation. +% +% 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 +% ----------------------------------------------------------- + +\input docstrip.tex +\keepsilent +\askforoverwritefalse + +\preamble + +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 + +\endpreamble + +\Msg{} +\Msg{**********************************************************} +\Msg{* The backnaur package} +\Msg{* backnaur.ins and backnaur.dtx are being processed} +\Msg{**********************************************************} + +\generate{\file{backnaur.sty}{\from{backnaur.dtx}{package}}} + +\Msg{**********************************************************} +\Msg{* Processing complete ...} +\Msg{*} +\Msg{* To finish the installation, put backnaur.sty in a} +\Msg{* suitable place on your system's TeX search path.} +\Msg{*} +\Msg{* Run LaTeX on backnaur.dtx to produce the documentation.} +\Msg{* Comment out its 'OnlyDescription' line to include the} +\Msg{* implementation documentation. } +\Msg{*} +\Msg{* You might like to keep backnaur.ins and backnaur.dtx} +\Msg{* somewhere safe as a backup, or in case you want to } +\Msg{* pass the backnaur package on to someone.} +\Msg{*} +\Msg{* Do not forget to delete the auxiliary files.} +\Msg{**********************************************************} +\Msg{} + +\endbatchfile
\ No newline at end of file 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'. diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index aa79c7cfdad..2be0e6590b8 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -47,7 +47,7 @@ my @TLP_working = qw( attachfile augie auncial-new aurical autopdf authoraftertitle authorindex auto-pst-pdf autoarea automata autonum avantgar - b1encoding babel babelbib background bangtex + b1encoding babel babelbib background backnaur bangtex barcodes bardiag barr bartel-chess-fonts bashful baskervald basque-book basque-date bbcard bbding bbm bbm-macros bbold bbold-type1 bchart bclogo diff --git a/Master/tlpkg/tlpsrc/backnaur.tlpsrc b/Master/tlpkg/tlpsrc/backnaur.tlpsrc new file mode 100644 index 00000000000..e69de29bb2d --- /dev/null +++ b/Master/tlpkg/tlpsrc/backnaur.tlpsrc diff --git a/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc index 187e3ff8211..3a6ce52f8ac 100644 --- a/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc +++ b/Master/tlpkg/tlpsrc/collection-mathextra.tlpsrc @@ -3,6 +3,7 @@ shortdesc Advanced math typesetting longdesc Extra math depend 12many depend amstex +depend backnaur depend binomexp depend boldtensors depend bosisio |