summaryrefslogtreecommitdiff
path: root/Master/texmf-dist
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2023-01-22 20:40:11 +0000
committerKarl Berry <karl@freefriends.org>2023-01-22 20:40:11 +0000
commitce1c16bba56da8c2fa15dc5f5d50c400d2ee17f4 (patch)
tree7c9d3a9360529220b029a0854721e318bf838702 /Master/texmf-dist
parent26226d5b3ef5f9ab113eb4fd376167e9efd4ad32 (diff)
eolang (22jan23)
git-svn-id: svn://tug.org/texlive/trunk@65606 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rw-r--r--Master/texmf-dist/doc/latex/eolang/eolang.pdfbin2004235 -> 2007062 bytes
-rw-r--r--Master/texmf-dist/source/latex/eolang/eolang.dtx15
-rw-r--r--Master/texmf-dist/tex/latex/eolang/eolang.sty7
3 files changed, 14 insertions, 8 deletions
diff --git a/Master/texmf-dist/doc/latex/eolang/eolang.pdf b/Master/texmf-dist/doc/latex/eolang/eolang.pdf
index b2fa1966304..5f74ed44f42 100644
--- a/Master/texmf-dist/doc/latex/eolang/eolang.pdf
+++ b/Master/texmf-dist/doc/latex/eolang/eolang.pdf
Binary files differ
diff --git a/Master/texmf-dist/source/latex/eolang/eolang.dtx b/Master/texmf-dist/source/latex/eolang/eolang.dtx
index a335662317f..d65c2092bd0 100644
--- a/Master/texmf-dist/source/latex/eolang/eolang.dtx
+++ b/Master/texmf-dist/source/latex/eolang/eolang.dtx
@@ -50,7 +50,7 @@
%<package>\NeedsTeXFormat{LaTeX2e}
%<package>\ProvidesPackage{eolang}
%<*package>
-[2022-12-16 0.9.1 Formulas and Graphs for EO Programming Language]
+[2023-01-22 0.10.0 Formulas and Graphs for EO Programming Language]
%</package>
%<*driver>
\documentclass{ltxdoc}
@@ -143,6 +143,8 @@
% (|\llbracket|),
% \item ``|]]|'' maps to ``$\rrbracket$''
% (|\rrbracket|),
+% \item ``|==|'' maps to ``$\equiv$''
+% (|\equiv|),
% \item ``\texttt{\textbar{abc}\textbar}'' maps to ``\texttt{abc}''
% (|\texttt{abc}|).
% \end{itemize}
@@ -553,7 +555,7 @@
% The |phiquation| environment will automatically align formulas by the first
% arrow, if there are only left-aligned formulas:
-% \docshotOptions{firstline=5,lastline=10}
+% \docshotOptions{firstline=5,lastline=11}
% \begin{docshot}
% \documentclass{acmart}
% \usepackage{eolang}
@@ -563,7 +565,8 @@
% x(\pi) -> [[\lambda ..> f_1]], \\
% x(a,b,c) -> [[ \alpha_0 -> ?, \
% @ -> |hello|($), x -> |FALSE| ]], \\
-% \Delta = |43-09|.
+% \Delta = |43-09|,
+% x(y) == x(0-> y).
% \end{phiquation*}
% \end{document}
% \end{docshot}
@@ -756,6 +759,7 @@
% \changes{0.8.0}{2022/11/21}{Inside \texttt{phiquation} any text inside the \texttt{\char`\\text} macro is not processed.}
% \changes{0.9.0}{2022/12/15}{Proper handling of the \texttt{matrix} environment.}
% \changes{0.9.0}{2022/12/15}{Parsing of \texttt{<<} and \texttt{>>} implemented.}
+% \changes{0.10.0}{2023/01/22}{Parsing of \texttt{==} into \texttt{\char`\\equiv} implemented.}
% Then, we create a Perl script for |phiquation| processing using |VerbatimOut| environment from
% \href{https://ctan.org/pkg/fancyvrb}{fancyvrb}:
% \begin{macrocode}
@@ -837,11 +841,11 @@ if ($macro ne 'phiq') {
$tex =~ s/([^&\s])\s{2}([^\s])/\1 \2/g;
$tex =~ s/\s{2}/ \\quad{}/g;
$tex = '&' . $tex;
- my $lead = '[^\s]+\s(?:->|:=|=)';
+ my $lead = '[^\s]+\s(?:->|:=|=|==)\s';
my @leads = $tex =~ /&${lead}/g;
my @eols = $tex =~ /&/g;
if (0+@leads == 0+@eols && 0+@eols > 1) {
- $tex =~ s/&(${lead})/\1&/g;
+ $tex =~ s/&(${lead})/\1&~/g;
$gathered = 0;
print '% The "gathered" is NOT used because all ' .
(0+@eols) . ' lines are ' . (0+@leads) . " leads\n";
@@ -872,6 +876,7 @@ $tex =~ s/!->/\\mathrel{\\phiConst}/g;
$tex =~ s/->/\\mathrel{\\mapsto}/g;
$tex =~ s/~>/\\mathrel{\\phiWave}/g;
$tex =~ s/:=/\\mathrel{\\vDash}/g;
+$tex =~ s/==/\\mathrel{\\equiv}/g;
$tex =~ s/\.\.>/\\mathrel{\\phiDotted}/g;
$tex =~ s/<</\\langle/g;
$tex =~ s/>>/\\rangle/g;
diff --git a/Master/texmf-dist/tex/latex/eolang/eolang.sty b/Master/texmf-dist/tex/latex/eolang/eolang.sty
index 28c4e0a1efc..e5a3e39fa1d 100644
--- a/Master/texmf-dist/tex/latex/eolang/eolang.sty
+++ b/Master/texmf-dist/tex/latex/eolang/eolang.sty
@@ -31,7 +31,7 @@
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{eolang}
-[2022-12-16 0.9.1 Formulas and Graphs for EO Programming Language]
+[2023-01-22 0.10.0 Formulas and Graphs for EO Programming Language]
@@ -183,11 +183,11 @@ if ($macro ne 'phiq') {
$tex =~ s/([^&\s])\s{2}([^\s])/\1 \2/g;
$tex =~ s/\s{2}/ \\quad{}/g;
$tex = '&' . $tex;
- my $lead = '[^\s]+\s(?:->|:=|=)';
+ my $lead = '[^\s]+\s(?:->|:=|=|==)\s';
my @leads = $tex =~ /&${lead}/g;
my @eols = $tex =~ /&/g;
if (0+@leads == 0+@eols && 0+@eols > 1) {
- $tex =~ s/&(${lead})/\1&/g;
+ $tex =~ s/&(${lead})/\1&~/g;
$gathered = 0;
print '% The "gathered" is NOT used because all ' .
(0+@eols) . ' lines are ' . (0+@leads) . " leads\n";
@@ -218,6 +218,7 @@ $tex =~ s/!->/\\mathrel{\\phiConst}/g;
$tex =~ s/->/\\mathrel{\\mapsto}/g;
$tex =~ s/~>/\\mathrel{\\phiWave}/g;
$tex =~ s/:=/\\mathrel{\\vDash}/g;
+$tex =~ s/==/\\mathrel{\\equiv}/g;
$tex =~ s/\.\.>/\\mathrel{\\phiDotted}/g;
$tex =~ s/<</\\langle/g;
$tex =~ s/>>/\\rangle/g;