texlive[55390] Master/texmf-dist: rec-thy (2jun20)

[commits+karl at tug.org]

Revision: 55390
          http://tug.org/svn/texlive?view=revision&revision=55390
Author:   karl
Date:     2020-06-02 23:14:18 +0200 (Tue, 02 Jun 2020)
Log Message:
-----------
rec-thy (2jun20)

Modified Paths:
--------------
    trunk/Master/texmf-dist/doc/latex/rec-thy/README
    trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
    trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
    trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty

Modified: trunk/Master/texmf-dist/doc/latex/rec-thy/README
===================================================================
--- trunk/Master/texmf-dist/doc/latex/rec-thy/README	2020-06-02 21:14:04 UTC (rev 55389)
+++ trunk/Master/texmf-dist/doc/latex/rec-thy/README	2020-06-02 21:14:18 UTC (rev 55390)
@@ -35,3 +35,4 @@
 02/26/2019 - v3.1 - Fixed \wck to use roman capital CK.
 ??         - v3.2 Removed \reaop, \alphaREAop, \aREAop in favor of using the single form \REAop.  Removed \functo, \map and funcomp, \hgtO as useless synonyms and removed \KleeneOBelow and KleeneOLess as beyond what the package should define. Added package option compat31 to ensure package compatibility with version 3.1.  An optional parentheses delimited argument specifying the base has been added to  \REAop.  Both \REAop and the pair \REA/\CEA have been updated to ignore order of optional arguments.  The square brackets used to delimit the argument to the use command are now auto-sized.  Added \pmapsto, \pmapsfrom, \kleeneZero, \kleeneNum, \entersat.  Also Misc typesetting fixes. 
 05/08/2020 - v3.3 Fixed/added tweak to overline so it looks correct.  Also added real symbols so that \subfunneq and \supfunneq can be defined appropriately.  Fixed incorrect use of tiny in math mode.
+06/01/2020 - v3.3.1 Fixed typo causing error under pdflatex.

Modified: trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
===================================================================
(Binary files differ)

Modified: trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
===================================================================
--- trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex	2020-06-02 21:14:04 UTC (rev 55389)
+++ trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex	2020-06-02 21:14:18 UTC (rev 55390)
@@ -81,7 +81,7 @@
 
 \title{The rec-thy Package}
 \author{Peter M. Gerdes (gerdes at invariant.org)}
-\date{05/20/2020: Version \recthyVersion}
+\date{06/01/2020: Version \recthyVersion}
 
 \begin{document}
 
@@ -668,7 +668,8 @@
 			\case[\( x=2 \)] \label{case*:second:sub1} ..
 			\case[\( x = 3 \)] \label{case*:second:sub2}
 		\end{pfcases*}
-.. \ref{case*:second} .. \cref{case*:second} .. \ref{case*:second:sub1} .. \cref{case*:second:sub2}.
+.. \ref{case*:second} .. \cref{case*:second} .. \ref{case*:second:sub1} .. 
+\cref{case*:second:sub2}.
 \end{proof}
 \end{verbatim}
 
@@ -684,6 +685,7 @@
 
 % TESTING: \verb=\fpmapsto=, \verb=\fpmapsfrom=, \verb=\ParFuncs{Y}{X}= and \verb=\FinParFuncs{Y}{X}=
 \begin{itemize}
+	\item[3.3.1] Fixed typo causing error under pdflatex.
 	\item[3.3]  - Fixed/added tweak to overline so it looks correct.  Also added real symbols so that \verb=\subfunneq= and \verb=\supfunneq= can be defined appropriately.  Added \verb=\floor= and \verb=\ceil=.  Note these aren't yet shown off in package doc.  Fixed incorrect use of tiny in math mode.
 	\item[3.2]	- Removed \verb=\reaop=, \verb=\alphaREAop=, \verb=\aREAop= in favor of using the single form \verb=\REAop=.  Removed \verb=\functo=, \verb=\map= and \verb=funcomp=, \verb=\hgtO= as useless synonyms and removed \verb=\KleeneOBelow= and \verb=KleeneOLess= as beyond what the package should define. Added package option compat31 to ensure package compatibility with version 3.1.  An optional parentheses delimited argument specifying the base has been added to  \verb=\REAop=.  Both \verb=\REAop= and the pair \verb=\REA=/\verb=\CEA= have been updated to ignore order of optional arguments.  The square brackets used to delimit the argument to the use command are now auto-sized.  Added \verb=\pmapsto=, \verb=\pmapsfrom=, \verb=\kleeneZero=, \verb=\kleeneNum=, \verb=\entersat=.  Also Misc typesetting fixes.  
 	\item[3.1]  02/26/2019 - Fixed \verb=\wck= to be \( \wck \), i.e., have capitalized roman CK.

Modified: trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty	2020-06-02 21:14:04 UTC (rev 55389)
+++ trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty	2020-06-02 21:14:18 UTC (rev 55390)
@@ -1,7 +1,7 @@
 \NeedsTeXFormat{LaTeX2e}
 % Release Notes see README
-\def\recthyVersion{3.3}
-\ProvidesPackage{rec-thy}[v3.3 Provides commands for writing up recursion theory papers]
+\def\recthyVersion{3.3.1}
+\ProvidesPackage{rec-thy}[v3.3.1 Provides commands for writing up recursion theory papers]
 \makeatletter
 % \newcommand*{\@curpack}{\@currname} %rec-thy.sty
 \newcommand*{\@packinfo}[1]{\PackageInfo{rec-thy}{#1}}
@@ -26,7 +26,6 @@
 \robustify\(
 \robustify\)
 \RequirePackage{xparse}
-\RequirePackage{ifxetex}
 \AtBeginDocument{
 \ltx at ifpackageloaded{amsmath}{}{\RequirePackage{amsmath}}
 \ltx at ifpackageloaded{amssymb}{}{\RequirePackage{amssymb}}
@@ -656,8 +655,8 @@
     %%%%%%%%Function commands
     \let\recthy at rollback@threeTwo at threeOne@REA at mathsave=\recthy at rollback@threeTwo at threeOne@REA
     \renewcommand*{\recthy at rollback@threeTwo at threeOne@REA}{
-        \providecommand*{\map}[2]{:#1\mapsto #2}
-        \providecommand*{\functo}[3]{#1\map{#2}{#3}}
+        \providecommand*{\map}[2]{:##1\mapsto ##2}
+        \providecommand*{\functo}[3]{##1\map{##2}{##3}}
         \ifdefined\funcomp
         \else
             \let\funcomp=\compfunc