summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2023-01-29 21:23:09 +0000
committerKarl Berry <karl@freefriends.org>2023-01-29 21:23:09 +0000
commit0d39815152532111e22cc57db55c73fda1939fa9 (patch)
tree11768c5776093912cdc5dd2483b1db7bfa7cb0f3 /Master
parentefd04c4c2b49f26b1240861e3ce3d274d8014183 (diff)
naive-ebnf (29jan23)
git-svn-id: svn://tug.org/texlive/trunk@65674 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r--Master/texmf-dist/doc/latex/naive-ebnf/DEPENDS.txt3
-rw-r--r--Master/texmf-dist/doc/latex/naive-ebnf/LICENSE.txt21
-rw-r--r--Master/texmf-dist/doc/latex/naive-ebnf/README.md33
-rw-r--r--Master/texmf-dist/doc/latex/naive-ebnf/naive-ebnf.pdfbin0 -> 443528 bytes
-rw-r--r--Master/texmf-dist/source/latex/naive-ebnf/naive-ebnf.dtx283
-rw-r--r--Master/texmf-dist/source/latex/naive-ebnf/naive-ebnf.ins55
-rw-r--r--Master/texmf-dist/tex/latex/naive-ebnf/naive-ebnf.sty128
-rwxr-xr-xMaster/tlpkg/bin/tlpkg-ctan-check2
-rw-r--r--Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc1
-rw-r--r--Master/tlpkg/tlpsrc/naive-ebnf.tlpsrc4
10 files changed, 529 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/latex/naive-ebnf/DEPENDS.txt b/Master/texmf-dist/doc/latex/naive-ebnf/DEPENDS.txt
new file mode 100644
index 00000000000..489f2ded15f
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/naive-ebnf/DEPENDS.txt
@@ -0,0 +1,3 @@
+hard pgfopts
+hard filecontentsdef
+hard expl3 \ No newline at end of file
diff --git a/Master/texmf-dist/doc/latex/naive-ebnf/LICENSE.txt b/Master/texmf-dist/doc/latex/naive-ebnf/LICENSE.txt
new file mode 100644
index 00000000000..412bdfe98eb
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/naive-ebnf/LICENSE.txt
@@ -0,0 +1,21 @@
+(The MIT License)
+
+Copyright (c) 2023 Yegor Bugayenko
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the 'Software'), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.
diff --git a/Master/texmf-dist/doc/latex/naive-ebnf/README.md b/Master/texmf-dist/doc/latex/naive-ebnf/README.md
new file mode 100644
index 00000000000..6e02dfc45c6
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/naive-ebnf/README.md
@@ -0,0 +1,33 @@
+[![l3build](https://github.com/yegor256/naive-ebnf/actions/workflows/l3build.yml/badge.svg)](https://github.com/yegor256/naive-ebnf/actions/workflows/l3build.yml)
+[![CTAN](https://img.shields.io/ctan/v/naive-ebnf)](https://ctan.org/pkg/naive-ebnf)
+[![License](https://img.shields.io/badge/license-MIT-green.svg)](https://github.com/yegor256/naive-ebnf/blob/master/LICENSE.txt)
+
+This LaTeX package helps you typeset an
+[Extended Backus-Naur Form](https://en.wikipedia.org/wiki/Extended_Backus%E2%80%93Naur_form) (EBNF)
+using plain text format.
+
+First, [install it](https://en.wikibooks.org/wiki/LaTeX/Installing_Extra_Packages)
+from [CTAN](https://ctan.org/pkg/naive-ebnf)
+and then use in the preamble:
+
+```text
+\documentclass{article}
+\usepackage{naive-ebnf}
+\begin{document}
+\begin{ebnf}
+<Expression> := <Variable>
+ | "$\lambda$" <Variable> "." <Expression>
+ | "(" <Expression> <Expression> ")"
+\end{ebnf}
+\end{document}
+```
+
+Otherwise, you can download [`naive-ebnf.sty`](https://raw.githubusercontent.com/yegor256/naive-ebnf/gh-pages/naive-ebnf/naive-ebnf.sty) and add to your project.
+
+## How to Contribute
+
+If you want to contribute yourself, make a fork, then create a branch,
+then run `l3build ctan` in the root directory.
+It should compile everything without errors. If not, submit an issue and wait.
+Otherwise, make your changes and then run `l3build ctan` again. If the build is
+still clean, submit a pull request.
diff --git a/Master/texmf-dist/doc/latex/naive-ebnf/naive-ebnf.pdf b/Master/texmf-dist/doc/latex/naive-ebnf/naive-ebnf.pdf
new file mode 100644
index 00000000000..fdf6d14f902
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/naive-ebnf/naive-ebnf.pdf
Binary files differ
diff --git a/Master/texmf-dist/source/latex/naive-ebnf/naive-ebnf.dtx b/Master/texmf-dist/source/latex/naive-ebnf/naive-ebnf.dtx
new file mode 100644
index 00000000000..6213cf6d529
--- /dev/null
+++ b/Master/texmf-dist/source/latex/naive-ebnf/naive-ebnf.dtx
@@ -0,0 +1,283 @@
+% \iffalse meta-comment
+% (The MIT License)
+%
+% Copyright (c) 2023 Yegor Bugayenko
+%
+% Permission is hereby granted, free of charge, to any person obtaining a copy
+% of this software and associated documentation files (the 'Software'), to deal
+% in the Software without restriction, including without limitation the rights
+% to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+% copies of the Software, and to permit persons to whom the Software is
+% furnished to do so, subject to the following conditions:
+%
+% The above copyright notice and this permission notice shall be included in all
+% copies or substantial portions of the Software.
+%
+% THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+% IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+% FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+% AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+% LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+% OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+% SOFTWARE.
+% \fi
+
+% \CheckSum{0}
+%
+% \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{naive-ebnf.dtx}
+% \DoNotIndex{\endgroup,\begingroup,\let,\else,\s,\n,\r,\\,\1,\fi}
+
+% \iffalse
+%<*driver>
+\ProvidesFile{naive-ebnf.dtx}
+%</driver>
+%<package>\NeedsTeXFormat{LaTeX2e}
+%<package>\ProvidesPackage{naive-ebnf}
+%<*package>
+[2023-01-29 0.0.2 EBNF in Plain Text]
+%</package>
+%<*driver>
+\documentclass{ltxdoc}
+\usepackage[T1]{fontenc}
+\usepackage[tt=false, type1=true]{libertine}
+\usepackage{microtype}
+\AddToHook{env/verbatim/begin}{\microtypesetup{protrusion=false}}
+\usepackage{href-ul}
+\usepackage{xcolor}
+\usepackage[dtx]{docshots}
+\PageIndex
+\EnableCrossrefs
+\CodelineIndex
+\RecordChanges
+\begin{document}
+ \DocInput{naive-ebnf.dtx}
+ \PrintChanges
+ \PrintIndex
+\end{document}
+%</driver>
+% \fi
+
+% \title{|naive-ebnf|: \LaTeX{} Package \\ for EBNF in Plain Text\thanks{The sources are in GitHub at \href{https://github.com/yegor256/naive-ebnf}{yegor256/naive-ebnf}}}
+% \author{Yegor Bugayenko \\ \texttt{yegor256@gmail.com}}
+% \date{\filedate, \fileversion}
+%
+% \maketitle
+%
+% \section{Introduction}
+%
+% This package helps render a
+% \href{https://en.wikipedia.org/wiki/Extended_Backus%E2%80%93Naur_form}{Extended Backus-Naur Form}
+% using plain text notation:
+% \begin{docshot}
+% \documentclass{minimal}
+% \usepackage{naive-ebnf}
+% \usepackage{mathtools}
+% \begin{document}
+% \begin{ebnf}
+% <Expr> := <Var>
+% | "$\lambda$" <Var> "." <Expr>
+% | "$\lparen$" <Expr> <Expr> "$\rparen$"
+% \end{ebnf}
+% \end{document}
+% \end{docshot}
+
+% The following syntax is understood inside the |ebnf| environment:
+% \begin{itemize}
+% \item |:=| separates the left-hand side from the right-hand side of the production rule;
+% \item |<...>| denotes a non-terminal (variable);
+% \item |"..."| denotes a terminal symbol;
+% \item \texttt{(...\char`\|...)} denotes a series of options to choose from;
+% \item |[...]| denotes an optional substitution;
+% \item |{...}| denotes a zero or more times repetition;
+% \end{itemize}
+
+% \textbf{Attention}: The usage of some symbols is prohibited inside terminals. Instead, the following substitutions are recommended:
+% \begin{itemize}
+% \item |$\lparen$| and |$\rparen$| instead of ``|(|'' and ``|)|'' (from the \href{https://ctan.org/pkg/mathtools}{mathtools} package);
+% \item |$\langle$| and |$\rangle$| instead of ``|<|'' and ``|>|'';
+% \item |$\lbrace$| and |$\rbrace$| instead of ``|{|'' and ``|}|'' (also |mathtools|);
+% \item |$\lbrack$| and |$\rbrack$| instead of ``|[|'' and ``|]|'' (also |mathtools|);
+% \item |$\vert$| instead of ``\texttt{\char`\|}''.
+% \end{itemize}
+
+% \DescribeMacro{\terminal}
+% \DescribeMacro{\nonterminal}
+% Inside the text, terminals and non-terminals may be formatted using two supplementary commands:
+% \docshotOptions{firstline=6,lastline=10}
+% \begin{docshot}
+% \documentclass{article}
+% \pagestyle{empty}
+% \usepackage[paperwidth=3in]{geometry}
+% \usepackage{naive-ebnf}
+% \begin{document}
+% The non-terminal \nonterminal{Var}
+% in $\lambda$-calculus may be equal
+% to $v_1, v_2, \dots$. Application
+% starts with \terminal{(} and ends
+% with \terminal{)}.
+% \end{document}
+% \end{docshot}
+
+% \section{Package Options}
+
+% It's possible to configure the behavior of the package with the help of a few package options:
+
+% \DescribeMacro{bw}
+% By default, some colors are used in the rendered grammar. However, the |bw| package option disables any colors and makes sure the gammar is black-and-white:
+%\iffalse
+%<*verb>
+%\fi
+\begin{verbatim}
+\usepackage[bw]{naive-ebnf}
+\end{verbatim}
+%\iffalse
+%</verb>
+%\fi
+
+% \StopEventually{}
+
+% \section{Implementation}
+% \changes{0.0.1}{2023/01/28}{First draft.}
+% \changes{0.0.2}{2023/01/29}{Proper parsing of grouping.}
+% \changes{0.0.2}{2023/01/29}{Substitutions suggested for special symbols.}
+
+% First, we process package options:
+% \begin{macrocode}
+\RequirePackage{pgfopts}
+\pgfkeys{
+ /ebnf/.cd,
+ bw/.store in=\ebnf@bw,
+}
+\ProcessPgfPackageOptions{/ebnf}
+% \end{macrocode}
+
+% Then, we include a few packages, mostly to deal with \LaTeX{}3 expressions:
+% \begin{macrocode}
+\RequirePackage{filecontentsdef}
+\RequirePackage{expl3}
+% \end{macrocode}
+
+% \begin{macro}{\ebnf@color}
+% Then, we include \href{https://ctan.org/pkg/xcolor}{xcolor} to colorize the output a bit:
+% \begin{macrocode}
+\makeatletter\ifdefined\ebnf@bw\else
+ \RequirePackage{xcolor}
+\fi
+\newcommand\ebnf@color[2]
+ {\ifdefined\ebnf@bw#2\else\textcolor{#1}{#2}\fi}
+\makeatother
+% \end{macrocode}
+% \end{macro}
+
+% \begin{macro}{\terminal}
+% \changes{0.0.2}{2023/01/29}{New command \texttt{\char`\\terminal} added, to enable rendering terminal symbols outside of the \texttt{ebnf} environment.}
+% Then, we a command to render a single terminal:
+% \begin{macrocode}
+\makeatletter
+\newcommand\terminal[1]{%
+ \relax\ifmmode\else\ttfamily\fi%
+ \ebnf@color{gray}{"}#1\ebnf@color{gray}{"}}
+\makeatother
+% \end{macrocode}
+% \end{macro}
+
+% \begin{macro}{\nonterminal}
+% \changes{0.0.2}{2023/01/29}{New command \texttt{\char`\\nonterminal} added, to enable rendering non-terminal symbols outside of the \texttt{ebnf} environment.}
+% Then, we a command to render a single non-terminal:
+% \begin{macrocode}
+\makeatletter
+\newcommand\nonterminal[1]
+ {\(\ebnf@color{gray}{\langle}\textsf{#1}\ebnf@color{gray}{\rangle}\)}
+\makeatother
+% \end{macrocode}
+% \end{macro}
+
+% Then, we define supplementary commands:
+% \begin{macrocode}
+\makeatletter
+\newcommand\ebnf@optional[1]
+ {\ebnf@color{gray}{[}#1\ebnf@color{gray}{]}}
+\newcommand\ebnf@repetition[1]
+ {\ebnf@color{gray}{\{}#1\ebnf@color{gray}{\}}}
+\newcommand\ebnf@grouping[1]
+ {\ebnf@color{gray}{(}#1\ebnf@color{gray}{)}}
+\ExplSyntaxOn
+\newcommand\ebnf@terminal[1]{
+ \tl_set:Nn \l_ebnf_tl { }
+ \tl_set_rescan:Nno \l_ebnf_tl { } { #1 }
+ \terminal{\l_ebnf_tl}
+}
+\ExplSyntaxOff
+\newcommand\ebnf@to
+ {\ebnf@color{gray}{\(\to\)}}
+\newcommand\ebnf@alternation
+ {\ebnf@color{gray}{\(\vert\)}}
+\newcommand\ebnf@eol{\\}
+\makeatother
+% \end{macrocode}
+
+% \begin{macro}{ebnf}
+% Then, we define the |ebnf| environment:
+% \begin{macrocode}
+\ExplSyntaxOn
+\cs_generate_variant:Nn \tl_replace_all:Nnn {Nx}
+\NewDocumentEnvironment{ebnf}{}{\filecontentsdefmacro\l__ebnf_tmp_tl}{
+ \endfilecontentsdefmacro
+ \str_set:NV \l__ebnf_tmp_tl \l__ebnf_tmp_tl
+ \str_set:Nx \l__ebnf_tmp_tl {\str_range:Nnn \l__ebnf_tmp_tl {1} {-2}}
+ \regex_replace_all:nnN { \{(.+?)\} }
+ {\c{ebnf@repetition}{\1}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { \((.+?)\) }
+ {\c{ebnf@grouping}{\1}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { \[([^\]]+?)\] }
+ {\c{ebnf@optional}{\1}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { <([A-Za-z][a-z-]+)> }
+ {\c{nonterminal}{\1}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { "([^"]+)" }
+ {\c{ebnf@terminal}{\1}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { \^^M\s*\| }
+ {\^^M :=} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { \| }
+ {\c{ebnf@alternation}{}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { \^^M\s*:= }
+ {\^^M \c{-}\c{hspace}{3em}\c{ebnf@alternation}{}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { := }
+ {\c{ebnf@to}{}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { \^^M }
+ {\c{ebnf@eol}{}} \l__ebnf_tmp_tl
+ \tl_put_left:Nn \l__ebnf_tmp_tl {}
+ \tl_put_right:Nn \l__ebnf_tmp_tl {}
+ \l__ebnf_tmp_tl
+}
+\ExplSyntaxOff
+% \end{macrocode}
+% \end{macro}
+
+% \begin{macrocode}
+\endinput
+% \end{macrocode}
+
+% \Finale
+
+% \clearpage
+% \clearpage
+
+% \PrintChanges
+% \clearpage
+% \PrintIndex
diff --git a/Master/texmf-dist/source/latex/naive-ebnf/naive-ebnf.ins b/Master/texmf-dist/source/latex/naive-ebnf/naive-ebnf.ins
new file mode 100644
index 00000000000..ba41686ec60
--- /dev/null
+++ b/Master/texmf-dist/source/latex/naive-ebnf/naive-ebnf.ins
@@ -0,0 +1,55 @@
+%% (The MIT License)
+%%
+%% Copyright (c) 2023 Yegor Bugayenko
+%%
+%% Permission is hereby granted, free of charge, to any person obtaining a copy
+%% of this software and associated documentation files (the 'Software'), to deal
+%% in the Software without restriction, including without limitation the rights
+%% to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+%% copies of the Software, and to permit persons to whom the Software is
+%% furnished to do so, subject to the following conditions:
+%%
+%% The above copyright notice and this permission notice shall be included in all
+%% copies or substantial portions of the Software.
+%%
+%% THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+%% IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+%% FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+%% AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+%% LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+%% OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+%% SOFTWARE.
+
+\input docstrip.tex
+\keepsilent
+\usedir{macros/latex/contrib/naive-ebnf}
+\preamble
+(The MIT License)
+
+Copyright (c) 2023 Yegor Bugayenko
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the 'Software'), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.
+\endpreamble
+\generate{\file{naive-ebnf.sty}{\from{naive-ebnf.dtx}{package}}}
+\obeyspaces
+\Msg{To finish the installation you have to move the ".sty"}
+\Msg{file into a directory searched by TeX. To produce the}
+\Msg{documentation run the file ".dtx" through LaTeX. If any}
+\Msg{questions, submit a new GitHub issue.}
+\endbatchfile
diff --git a/Master/texmf-dist/tex/latex/naive-ebnf/naive-ebnf.sty b/Master/texmf-dist/tex/latex/naive-ebnf/naive-ebnf.sty
new file mode 100644
index 00000000000..efad1407d22
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/naive-ebnf/naive-ebnf.sty
@@ -0,0 +1,128 @@
+%%
+%% This is file `naive-ebnf.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% naive-ebnf.dtx (with options: `package')
+%% (The MIT License)
+%%
+%% Copyright (c) 2023 Yegor Bugayenko
+%%
+%% Permission is hereby granted, free of charge, to any person obtaining a copy
+%% of this software and associated documentation files (the 'Software'), to deal
+%% in the Software without restriction, including without limitation the rights
+%% to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+%% copies of the Software, and to permit persons to whom the Software is
+%% furnished to do so, subject to the following conditions:
+%%
+%% The above copyright notice and this permission notice shall be included in all
+%% copies or substantial portions of the Software.
+%%
+%% THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+%% IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+%% FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+%% AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+%% LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+%% OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+%% SOFTWARE.
+
+
+
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{naive-ebnf}
+[2023-01-29 0.0.2 EBNF in Plain Text]
+
+
+
+
+
+
+
+
+
+
+\RequirePackage{pgfopts}
+\pgfkeys{
+ /ebnf/.cd,
+ bw/.store in=\ebnf@bw,
+}
+\ProcessPgfPackageOptions{/ebnf}
+
+\RequirePackage{filecontentsdef}
+\RequirePackage{expl3}
+
+\makeatletter\ifdefined\ebnf@bw\else
+ \RequirePackage{xcolor}
+\fi
+\newcommand\ebnf@color[2]
+ {\ifdefined\ebnf@bw#2\else\textcolor{#1}{#2}\fi}
+\makeatother
+
+\makeatletter
+\newcommand\terminal[1]{%
+ \relax\ifmmode\else\ttfamily\fi%
+ \ebnf@color{gray}{"}#1\ebnf@color{gray}{"}}
+\makeatother
+
+\makeatletter
+\newcommand\nonterminal[1]
+ {\(\ebnf@color{gray}{\langle}\textsf{#1}\ebnf@color{gray}{\rangle}\)}
+\makeatother
+
+\makeatletter
+\newcommand\ebnf@optional[1]
+ {\ebnf@color{gray}{[}#1\ebnf@color{gray}{]}}
+\newcommand\ebnf@repetition[1]
+ {\ebnf@color{gray}{\{}#1\ebnf@color{gray}{\}}}
+\newcommand\ebnf@grouping[1]
+ {\ebnf@color{gray}{(}#1\ebnf@color{gray}{)}}
+\ExplSyntaxOn
+\newcommand\ebnf@terminal[1]{
+ \tl_set:Nn \l_ebnf_tl { }
+ \tl_set_rescan:Nno \l_ebnf_tl { } { #1 }
+ \terminal{\l_ebnf_tl}
+}
+\ExplSyntaxOff
+\newcommand\ebnf@to
+ {\ebnf@color{gray}{\(\to\)}}
+\newcommand\ebnf@alternation
+ {\ebnf@color{gray}{\(\vert\)}}
+\newcommand\ebnf@eol{\\}
+\makeatother
+
+\ExplSyntaxOn
+\cs_generate_variant:Nn \tl_replace_all:Nnn {Nx}
+\NewDocumentEnvironment{ebnf}{}{\filecontentsdefmacro\l__ebnf_tmp_tl}{
+ \endfilecontentsdefmacro
+ \str_set:NV \l__ebnf_tmp_tl \l__ebnf_tmp_tl
+ \str_set:Nx \l__ebnf_tmp_tl {\str_range:Nnn \l__ebnf_tmp_tl {1} {-2}}
+ \regex_replace_all:nnN { \{(.+?)\} }
+ {\c{ebnf@repetition}{\1}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { \((.+?)\) }
+ {\c{ebnf@grouping}{\1}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { \[([^\]]+?)\] }
+ {\c{ebnf@optional}{\1}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { <([A-Za-z][a-z-]+)> }
+ {\c{nonterminal}{\1}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { "([^"]+)" }
+ {\c{ebnf@terminal}{\1}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { \^^M\s*\| }
+ {\^^M :=} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { \| }
+ {\c{ebnf@alternation}{}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { \^^M\s*:= }
+ {\^^M \c{-}\c{hspace}{3em}\c{ebnf@alternation}{}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { := }
+ {\c{ebnf@to}{}} \l__ebnf_tmp_tl
+ \regex_replace_all:nnN { \^^M }
+ {\c{ebnf@eol}{}} \l__ebnf_tmp_tl
+ \tl_put_left:Nn \l__ebnf_tmp_tl {}
+ \tl_put_right:Nn \l__ebnf_tmp_tl {}
+ \l__ebnf_tmp_tl
+}
+\ExplSyntaxOff
+
+\endinput
+%%
+%% End of file `naive-ebnf.sty'.
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check
index c12b544a253..58248577c22 100755
--- a/Master/tlpkg/bin/tlpkg-ctan-check
+++ b/Master/tlpkg/bin/tlpkg-ctan-check
@@ -568,7 +568,7 @@ my @TLP_working = qw(
musixtex musixtex-fonts musixtnt musuos muthesis
mversion mwcls mwe mweights mxedruli
mycv mylatex mylatexformat mynsfc
- na-box na-position nag nameauth namedef namedtensor namespc
+ na-box na-position nag naive-ebnf nameauth namedef namedtensor namespc
nanicolle nanumtype1 nar
natbib natded nath nature
navigator navydocs
diff --git a/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc b/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc
index 6ca12cb795e..f57db9e5908 100644
--- a/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc
+++ b/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc
@@ -153,6 +153,7 @@ depend mhequ
depend miller
depend mismath
depend multiobjective
+depend naive-ebnf
depend namedtensor
depend natded
depend nath
diff --git a/Master/tlpkg/tlpsrc/naive-ebnf.tlpsrc b/Master/tlpkg/tlpsrc/naive-ebnf.tlpsrc
new file mode 100644
index 00000000000..26d42cb62d0
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/naive-ebnf.tlpsrc
@@ -0,0 +1,4 @@
+hard pgfopts
+hard filecontentsdef
+hard l3kernel
+# orig: expl3