summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/rec-thy
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2018-11-30 21:50:32 +0000
committerKarl Berry <karl@freefriends.org>2018-11-30 21:50:32 +0000
commit0bd32067cf6f4a5766a35c9230c0d3b6e33fbfff (patch)
tree79ed7e620f0ffa27ce661e9ab9f6d2d1afdff52f /Master/texmf-dist/doc/latex/rec-thy
parentbc1c525d19de0bd00e33e62eaa4dd1ed5466da25 (diff)
rec-thy (30nov18)
git-svn-id: svn://tug.org/texlive/trunk@49286 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/rec-thy.pdfbin115691 -> 114232 bytes
-rw-r--r--Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex8
2 files changed, 5 insertions, 3 deletions
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 8e895c3d9cf..f16d2aa585c 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 f53eb41c594..a5e256e8ad0 100644
--- a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
+++ b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
@@ -14,7 +14,7 @@
% \usepackage{amsfonts}
% \DeclareMathAlphabet{\mathpzc}{OT1}{pzc}{m}{it}
% \DeclareMathAlphabet{\mathbrush}{T1}{pbsi}{xl}{n}
-\usepackage{mathspec}
+% \usepackage{mathspec}
\usepackage{comment}
\usepackage{unicode-math}
\unimathsetup{math-style=TeX,bold-style=TeX,nabla=upright,partial=italic}
@@ -248,7 +248,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 enfiornment merges the \verb=\req[\nu]{R}{e\}= command directly into the enviornment arguments. It also creates an automatic label which makes use of the 1st and 2nd arguments but assumes the third are just indexes whose names are subject to change. Unless \verb=nohyperreqs= is passed the \verb=\req[\nu]{R}{e\}= automatically links to the defining require enviornment.
+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 enviornment.
\begin{lstlisting}[breaklines]
\begin{require}{R}{i}
@@ -540,7 +540,7 @@ To change the syntax for the computable infinitary formulas you can pass the opt
\subsection{Proof Cases}
\begin{proof}
-The pfcases enviornment provides a numbered, referenceable division of a proof segment into cases.
+The pfcases enviornment provides a numbered, referenceable division of a proof segment into cases. Note these features are not available if you are using the package in a beamer document (not likely to be an issue).
\begin{pfcases}
\case[\( x = y \)]\label{case:first} %
@@ -616,6 +616,8 @@ Finally to enable the mrref helper macros pass the option \verb=mrref=.\\ These
\section{Release Notes}
\begin{itemize}
+ \item[2.4.3] 11/29/2018 - Rendered compatible with beamer by removing enumitem requirement if beamer is loaded.
+ \item[2.4.2] 11/29/2018 - Fixed horrible bugs introduced in last version and fixed many symbols to work even in pdflatex mode. Also have everything compiling again.
\item[2.4.1] 2/14/2018 - Moved to using xparse to define the case macros and several other macros to allow nested brackets for optional arguments. Added the recf command and cleaned up some option processing. Also worked around the mathtools/unicode-math font bug described \href{https://tex.stackexchange.com/questions/335164/incompatibility-with-mathtools-and-unicode-math-in-xelatex/335177}{here}
\item[2.4] 1/17/2018 - Added priority tree helpers. Should be more robust with respect to existing definitions of common commands.
\item[2.3] 12/31/2017 - Added proof cases helper. Also fixed the issue with \verb=\ncequiv= in \XeLaTeX