summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/naive-ebnf/naive-ebnf.sty
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/naive-ebnf/naive-ebnf.sty')
-rw-r--r--Master/texmf-dist/tex/latex/naive-ebnf/naive-ebnf.sty22
1 files changed, 11 insertions, 11 deletions
diff --git a/Master/texmf-dist/tex/latex/naive-ebnf/naive-ebnf.sty b/Master/texmf-dist/tex/latex/naive-ebnf/naive-ebnf.sty
index c8ddf0ccb65..9f7937f6f84 100644
--- a/Master/texmf-dist/tex/latex/naive-ebnf/naive-ebnf.sty
+++ b/Master/texmf-dist/tex/latex/naive-ebnf/naive-ebnf.sty
@@ -31,7 +31,7 @@
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{naive-ebnf}
-[2023-07-12 0.0.11 EBNF in Plain Text]
+[2023-07-13 0.0.12 EBNF in Plain Text]
@@ -131,34 +131,34 @@
{\tl_set:Nn\ebnf_tmp{#2}}
{%
\regex_replace_all:nnN
- { ([^\ ])/([^\ ]) } {\1\\slash{}\2} \ebnf_tmp%
+ { ([^\s])/([^\s]) } {\1\\slash{}\2} \ebnf_tmp%
\regex_replace_all:nnN
- { ([^\ ])< } {\1\\textless{}} \ebnf_tmp%
+ { ([^\s])< } {\1\\textless{}} \ebnf_tmp%
\regex_replace_all:nnN
- { >([^\ ]) } {\\textgreater{}\1} \ebnf_tmp%
+ { >([^\s]) } {\\textgreater{}\1} \ebnf_tmp%
\regex_replace_all:nnN
- { ([^\ ])'([^\ ]) } {\1\\textquotesingle{}\2} \ebnf_tmp%
+ { ([^\s])'([^\s]) } {\1\\textquotesingle{}\2} \ebnf_tmp%
\regex_replace_all:nnN
- { ([^\ ])\|([^\ ]) } {\1\\textbar{}\2} \ebnf_tmp%
+ { ([^\s])\|([^\s]) } {\1\\textbar{}\2} \ebnf_tmp%
%
- \regex_replace_all:nnN { \ /(.+?)/\ }%
+ \regex_replace_all:nnN { \s/(.+?)/\s }%
{\c{ebnf@regexp}{\1}} \ebnf_tmp%
\cs_new:Npn\ebnf_curled{%
\regex_replace_all:nnNT
- { \{\ (([^\ ]*(\ [^\}\{]|\ (\}|\{)[^\ ])?)*)\ \} }%
+ { \{\s(([^\s]*(\s[^\}\{]|\s(\}|\{)[^\s])?)*)\s\} }%
{\c{ebnf@repetition}{\1}} \ebnf_tmp \ebnf_curled}%
\ebnf_curled%
\cs_new:Npn\ebnf_brackets{%
\regex_replace_all:nnNT
- { \(\ (([^\ ]*(\ [^\)\(]|\ (\)|\()[^\ ])?)*)\ \) }%
+ { \(\s(([^\s]*(\s[^\)\(]|\s(\)|\()[^\s])?)*)\s\) }%
{\c{ebnf@grouping}{\1}} \ebnf_tmp \ebnf_brackets}%
\ebnf_brackets%
\cs_new:Npn\ebnf_squares{%
\regex_replace_all:nnNT
- { \[\ (([^\ ]*(\ [^\]\[]|\ (\]|\[)[^\ ])?)*)\ \] }%
+ { \[\s(([^\s]*(\s[^\]\[]|\s(\]|\[)[^\s])?)*)\s\] }%
{\c{ebnf@optional}{\1}} \ebnf_tmp \ebnf_squares}%
\ebnf_squares%
- \regex_replace_all:nnN { (<[^>]+?>\ :=) }%
+ \regex_replace_all:nnN { (<[^>]+?>\s:=) }%
{\c{makebox}[#1][r]{\1}} \ebnf_tmp%
\regex_replace_all:nnN { <(.+?)> }%
{\c{ebnf@nonterminal}{\1}} \ebnf_tmp%