summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/rec-thy
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-06-03 03:02:11 +0000
committerNorbert Preining <norbert@preining.info>2020-06-03 03:02:11 +0000
commit44fde4a143b75ae4f383b05832343d497c254989 (patch)
tree6abd083733890a7c60fedca06514c0b4ad057302 /macros/latex/contrib/rec-thy
parent51cae99db4d58606cdce9181fd1f4c94e1a019de (diff)
CTAN sync 202006030302
Diffstat (limited to 'macros/latex/contrib/rec-thy')
-rw-r--r--macros/latex/contrib/rec-thy/README1
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.pdfbin113103 -> 113162 bytes
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.sty9
-rw-r--r--macros/latex/contrib/rec-thy/rec-thy.tex6
4 files changed, 9 insertions, 7 deletions
diff --git a/macros/latex/contrib/rec-thy/README b/macros/latex/contrib/rec-thy/README
index 72eaba54d6..b08a80f03b 100644
--- a/macros/latex/contrib/rec-thy/README
+++ b/macros/latex/contrib/rec-thy/README
@@ -35,3 +35,4 @@ Github URL: https://github.com/TruePath/Recursion-Theory-Latex-Package
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.
diff --git a/macros/latex/contrib/rec-thy/rec-thy.pdf b/macros/latex/contrib/rec-thy/rec-thy.pdf
index 0f17d492a9..47a50ecb93 100644
--- a/macros/latex/contrib/rec-thy/rec-thy.pdf
+++ b/macros/latex/contrib/rec-thy/rec-thy.pdf
Binary files differ
diff --git a/macros/latex/contrib/rec-thy/rec-thy.sty b/macros/latex/contrib/rec-thy/rec-thy.sty
index e4faaa5454..0edca35cbd 100644
--- a/macros/latex/contrib/rec-thy/rec-thy.sty
+++ b/macros/latex/contrib/rec-thy/rec-thy.sty
@@ -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@ifpackageloaded{amsmath}{}{\RequirePackage{amsmath}}
\ltx@ifpackageloaded{amssymb}{}{\RequirePackage{amssymb}}
@@ -656,8 +655,8 @@
%%%%%%%%Function commands
\let\recthy@rollback@threeTwo@threeOne@REA@mathsave=\recthy@rollback@threeTwo@threeOne@REA
\renewcommand*{\recthy@rollback@threeTwo@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
diff --git a/macros/latex/contrib/rec-thy/rec-thy.tex b/macros/latex/contrib/rec-thy/rec-thy.tex
index d0ffdb6a5b..e024ef8edb 100644
--- a/macros/latex/contrib/rec-thy/rec-thy.tex
+++ b/macros/latex/contrib/rec-thy/rec-thy.tex
@@ -81,7 +81,7 @@
\title{The rec-thy Package}
\author{Peter M. Gerdes (gerdes@invariant.org)}
-\date{05/20/2020: Version \recthyVersion}
+\date{06/01/2020: Version \recthyVersion}
\begin{document}
@@ -668,7 +668,8 @@ The above is accomplished with the following code.
\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 @@ Finally to enable the mrref helper macros pass the option \verb=mrref=.\\ These
% 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.