texlive[65606] Master/texmf-dist: eolang (22jan23)

[commits+karl at tug.org]

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;