texlive[65606] Master/texmf-dist: eolang (22jan23)
commits+karl at tug.org
commits+karl at tug.org
Sun Jan 22 21:40:12 CET 2023
Revision: 65606
http://tug.org/svn/texlive?view=revision&revision=65606
Author: karl
Date: 2023-01-22 21:40:11 +0100 (Sun, 22 Jan 2023)
Log Message:
-----------
eolang (22jan23)
Modified Paths:
--------------
trunk/Master/texmf-dist/doc/latex/eolang/eolang.pdf
trunk/Master/texmf-dist/source/latex/eolang/eolang.dtx
trunk/Master/texmf-dist/tex/latex/eolang/eolang.sty
Modified: trunk/Master/texmf-dist/doc/latex/eolang/eolang.pdf
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/source/latex/eolang/eolang.dtx
===================================================================
--- trunk/Master/texmf-dist/source/latex/eolang/eolang.dtx 2023-01-22 00:48:01 UTC (rev 65605)
+++ trunk/Master/texmf-dist/source/latex/eolang/eolang.dtx 2023-01-22 20:40:11 UTC (rev 65606)
@@ -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 @@
$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+ at leads == 0+ at eols && 0+ at eols > 1) {
- $tex =~ s/&(${lead})/\1&/g;
+ $tex =~ s/&(${lead})/\1&~/g;
$gathered = 0;
print '% The "gathered" is NOT used because all ' .
(0+ at eols) . ' lines are ' . (0+ at leads) . " leads\n";
@@ -872,6 +876,7 @@
$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;
Modified: trunk/Master/texmf-dist/tex/latex/eolang/eolang.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/eolang/eolang.sty 2023-01-22 00:48:01 UTC (rev 65605)
+++ trunk/Master/texmf-dist/tex/latex/eolang/eolang.sty 2023-01-22 20:40:11 UTC (rev 65606)
@@ -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 @@
$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+ at leads == 0+ at eols && 0+ at eols > 1) {
- $tex =~ s/&(${lead})/\1&/g;
+ $tex =~ s/&(${lead})/\1&~/g;
$gathered = 0;
print '% The "gathered" is NOT used because all ' .
(0+ at eols) . ' lines are ' . (0+ at leads) . " leads\n";
@@ -218,6 +218,7 @@
$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;
More information about the tex-live-commits
mailing list.