texlive[67524] Master/texmf-dist: eolang (1jul23)

[commits+karl at tug.org]

Revision: 67524
          http://tug.org/svn/texlive?view=revision&revision=67524
Author:   karl
Date:     2023-07-01 21:38:12 +0200 (Sat, 01 Jul 2023)
Log Message:
-----------
eolang (1jul23)

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-07-01 19:38:01 UTC (rev 67523)
+++ trunk/Master/texmf-dist/source/latex/eolang/eolang.dtx	2023-07-01 19:38:12 UTC (rev 67524)
@@ -50,7 +50,7 @@
 %<package>\NeedsTeXFormat{LaTeX2e}
 %<package>\ProvidesPackage{eolang}
 %<*package>
-[2023-06-17 0.12.2 Formulas and Graphs for EO Programming Language]
+[2023-07-01 0.13.0 Formulas and Graphs for EO Programming Language]
 %</package>
 %<*driver>
 \documentclass{ltxdoc}
@@ -102,8 +102,8 @@
 % \begin{phiquation*}
 % app -> [[ % it's abstract!
 %   ^ !-> $.b.^{^2}, 0/t~> TRUE,
-%   b -> [[ *-> fn(56),
-%     @ -> Q.hello.bye($),
+%   b -> [[ *-> Q.fn(56),
+%     @ -> QQ.string.trim($),
 %     D> 01-FE-C3 ]]]],\\
 % x -> [[ \lambda ..> ? ]].
 % \end{phiquation*}
@@ -126,6 +126,8 @@
 %     (|\varnothing|),
 %   \item ``|Q|'' maps to ``$\Phi$''
 %     (|\Phi|),
+%   \item ``|QQ|'' maps to ``$\dot{\Phi}$''
+%     (|\dot{\Phi}|),
 %   \item ``|->|'' maps to ``$\mapsto$''
 %     (|\mapsto|),
 %   \item ``|~>|'' maps to ``$\phiWave$''
@@ -788,6 +790,7 @@
 % \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.}
+% \changes{0.13.0}{2023/06/28}{Parsing of \texttt{QQ} into \texttt{\char`\\dot\{\char`\\Phi\}} implemented.}
 % Then, we create a Perl script for |phiquation| processing using |VerbatimOut| environment from
 % \href{https://ctan.org/pkg/fancyvrb}{fancyvrb}:
 %    \begin{macrocode}
@@ -796,7 +799,7 @@
 $macro = $ARGV[0];
 open(my $fh, '<', $ARGV[1]);
 my $tex; { local $/; $tex = <$fh>; }
-print "% This file is auto-generated by 0.12.2\n";
+print "% This file is auto-generated by 0.13.0\n";
 print '% There are ', length($tex),
   ' chars in the input: ', $ARGV[1], "\n";
 print '% ---', "\n";
@@ -867,6 +870,7 @@
 if (not $splitting) {
 	$tex =~ s/(?<![{&])&(?![&}])/\\sigma{}/g;
 }
+$tex =~ s/([^\\{a-z0-9]|^)QQ(?![a-z0-9])/\1\\dot{\\Phi{}}/g;
 $tex =~ s/([^\\{a-z0-9]|^)Q(?![a-z0-9])/\1\\Phi{}/g;
 $tex =~ s/([^\\{a-z0-9]|^)D>/\1\\Delta{}..>/g;
 $tex =~ s/([^\\{a-z0-9]|^)L>/\1\\lambda{}..>/g;

Modified: trunk/Master/texmf-dist/tex/latex/eolang/eolang.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/eolang/eolang.sty	2023-07-01 19:38:01 UTC (rev 67523)
+++ trunk/Master/texmf-dist/tex/latex/eolang/eolang.sty	2023-07-01 19:38:12 UTC (rev 67524)
@@ -31,7 +31,7 @@
 
 \NeedsTeXFormat{LaTeX2e}
 \ProvidesPackage{eolang}
-[2023-06-17 0.12.2 Formulas and Graphs for EO Programming Language]
+[2023-07-01 0.13.0 Formulas and Graphs for EO Programming Language]
 
 
 
@@ -112,7 +112,7 @@
 $macro = $ARGV[0];
 open(my $fh, '<', $ARGV[1]);
 my $tex; { local $/; $tex = <$fh>; }
-print "% This file is auto-generated by 0.12.2\n";
+print "% This file is auto-generated by 0.13.0\n";
 print '% There are ', length($tex),
   ' chars in the input: ', $ARGV[1], "\n";
 print '% ---', "\n";
@@ -183,6 +183,7 @@
 if (not $splitting) {
 $tex =~ s/(?<![{&])&(?![&}])/\\sigma{}/g;
 }
+$tex =~ s/([^\\{a-z0-9]|^)QQ(?![a-z0-9])/\1\\dot{\\Phi{}}/g;
 $tex =~ s/([^\\{a-z0-9]|^)Q(?![a-z0-9])/\1\\Phi{}/g;
 $tex =~ s/([^\\{a-z0-9]|^)D>/\1\\Delta{}..>/g;
 $tex =~ s/([^\\{a-z0-9]|^)L>/\1\\lambda{}..>/g;