summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/rec-thy
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2022-04-24 20:11:03 +0000
committerKarl Berry <karl@freefriends.org>2022-04-24 20:11:03 +0000
commita075e917a1cb19da93a8020193a1d2785926bf86 (patch)
tree5dbaa978a22278ca46e241b69a881ccaa6cd7849 /Master/texmf-dist/doc/latex/rec-thy
parentaab188ec810763d6f9b84d593438f5eef7631be6 (diff)
rec-thy (24apr22)
git-svn-id: svn://tug.org/texlive/trunk@63122 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/rec-thy')
-rw-r--r--Master/texmf-dist/doc/latex/rec-thy/README2
-rw-r--r--Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdfbin127739 -> 127698 bytes
-rw-r--r--Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex8
3 files changed, 6 insertions, 4 deletions
diff --git a/Master/texmf-dist/doc/latex/rec-thy/README b/Master/texmf-dist/doc/latex/rec-thy/README
index 1e6e845706b..e7e6761ca9f 100644
--- a/Master/texmf-dist/doc/latex/rec-thy/README
+++ b/Master/texmf-dist/doc/latex/rec-thy/README
@@ -40,3 +40,5 @@ Github URL: https://github.com/TruePath/Recursion-Theory-Latex-Package
v3.5 - Added \Hop command and misc code cleanup.
v3.6 - Fixed \REA[n] so that dash is shorter. Added BeamerRequirements to add a block for requirements in beamer and fixed the requirements environment for beamer. Fixed \req* command. Improved syntax for \recfnl so it can accept a () delimited argument via the same standard as \REset and \recf. Improved \setcol to allow it to be used repeatedly without typesetting bugs. Changed the code and pair commands to use only a single angle bracket.
v3.7 - Fixed cases enviornment (both prettier and no problem with creating newline). Major refactor to fix all options. Fixed bug with \set display. Added \st command inside the \set command to depreciate second argument. Added experimental commands \finSsets (alt \ssetsOfsize), \finsets and optional argument to \powset. Changed \REAop so the hat is on the starred version as intended. Added the steps (experimental) code which requires an option to enable and fixed some problems with existing options. Reimplemented \REset to use xparse to avoid some errors in unusual contexts. Fixed the display of \tpath. Depreciated \iREAop and \oneREAop.
+v3.8 - Adjusted \Tdeg to be more beamer friendly and fixed it not to dumbly underline 0^n. Fixed BeamerRequirements to work with differing values of \abovedisplayskip. Removed a few typos in docs for the requirements assistance. Added BeamerRequire and BeamerRequire* that put the requirements in a block and offer overlay specifications.
+v3.8.1 Fixed issues displaying the prime for jump operations
diff --git a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
index 601e4953ba3..4e691732fec 100644
--- a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
+++ b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
index ded730f3b0d..b80b17f6b5a 100644
--- a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
+++ b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
@@ -282,9 +282,9 @@ Math mode is not required for \verb=\req{R}{e}=
\begin{tabular}{l | l | l}\toprule
\verb=\req{R}{e}= & \( \req{R}{e} \) & \multirow{3}{*}{Requirement } \\ \midrule
-\verb=\req{R}[\nu]{e\}= & \req{R}[\nu]{e} & \\ \midrule
-\verb=\req*{R}{e\}= & \req{R}{e} & \multirow{3}{*}{Requirement without hyperlinks} \\ \midrule
-\verb=\req*{R}[\nu]{e\}= & \req{R}[\nu]{e} & \\ \midrule
+\verb=\req{R}[\nu]{e}= & \req{R}[\nu]{e} & \\ \midrule
+\verb=\req*{R}{e}= & \req{R}{e} & \multirow{3}{*}{Requirement without hyperlinks} \\ \midrule
+\verb=\req*{R}[\nu]{e}= & \req{R}[\nu]{e} & \\ \midrule
\bottomrule
\end{tabular} \\
@@ -302,7 +302,7 @@ Giving output
\recfnl{r}{B}{} = \REset{j} \implies \exists[k] \left( \Upsilon^{j}_k(C \Tplus \REset{j}) = B) \lor \REset{j} \Tleq \Tzero \right)
\end{requirement}
-The require environment merges the \verb=\req[\nu]{R}{e\}= command directly into the environment arguments. It also creates an automatic label which makes use of the 1st and 2nd arguments but assumes the third argument contains only indexes whose names are subject to change. Unless \verb=nohyperreqs= is passed the \verb=\req[\nu]{R}{e\}= automatically links to the defining require environment.
+The require environment merges the \verb=\req[\nu]{R}{e}= command directly into the environment arguments. It also creates an automatic label which makes use of the 1st and 2nd arguments but assumes the third argument contains only indexes whose names are subject to change. Unless \verb=nohyperreqs= is passed the \verb=\req[\nu]{R}{e}= automatically links to the defining require environment.
\begin{lstlisting}[breaklines]
\begin{require}{R}{i}