texlive[49286] Master/texmf-dist: rec-thy (30nov18)
commits+karl at tug.org
commits+karl at tug.org
Fri Nov 30 22:50:32 CET 2018
Revision: 49286
http://tug.org/svn/texlive?view=revision&revision=49286
Author: karl
Date: 2018-11-30 22:50:32 +0100 (Fri, 30 Nov 2018)
Log Message:
-----------
rec-thy (30nov18)
Modified Paths:
--------------
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/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 2018-11-30 21:50:13 UTC (rev 49285)
+++ trunk/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex 2018-11-30 21:50:32 UTC (rev 49286)
@@ -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 @@
\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 @@
\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 @@
\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
Modified: trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty 2018-11-30 21:50:13 UTC (rev 49285)
+++ trunk/Master/texmf-dist/tex/latex/rec-thy/rec-thy.sty 2018-11-30 21:50:32 UTC (rev 49286)
@@ -32,7 +32,7 @@
\ltx at ifpackageloaded{amssymb}{}{\RequirePackage{amssymb}}
\ltx at ifpackageloaded{amsfonts}{}{\RequirePackage{amsfonts}}
\ltx at ifpackageloaded{mathtools}{}{\RequirePackage{mathtools}}
-\ltx at ifpackageloaded{unicode-math}{}{\RequirePackage{mathrsfs}}
+\ltx at ifpackageloaded{unicode-math}{}{\RequirePackage{mathrsfs}\RequirePackage{mathbbol}}
\ltx at ifpackageloaded{undertilde}{}{\RequirePackage{undertilde}}
}
@@ -98,7 +98,7 @@
\newif\ifrecthy at nostructresets \recthy at nostructresetsfalse
\newif\ifrecthy at noreqhelper \recthy at noreqhelperfalse
\newif\ifrecthy at nosubfun \recthy at nosubfunfalse
-\newif\ifrecthy at nopfcases \recthy at nopfcasesfalse
+\newif\ifrecthy at nopfcases \@ifclassloaded{beamer}{\recthy at nopfcasestrue}{\recthy at nopfcasesfalse}
\newif\ifrecthy at noprioritytrees \recthy at noprioritytreesfalse
\newif\ifrecthy at hyperreqs \recthy at hyperreqstrue
@@ -321,6 +321,11 @@
}{
\end{requirement}
}
+ \newenvironment{require*}[3][]{
+ \begin{requirement}{\req*[#1]{#2}{#3}} \label{\detokenize{req:#2@#1}}
+ }{
+ \end{requirement}
+ }
\newcommand*{\refreq}[2][]{\ref{\detokenize{req:#2@#1}}}
\fi
@@ -531,7 +536,7 @@
-\NewDocumentCommand{\@recthy at set}{oG{}}{\left \{ #1 \ifthenelse{\isempty{#2}}{}{\middle | #2} \right \}}
+\NewDocumentCommand{\@recthy at set}{mg}{\left \{ #1 \IfNoValueTF{#2}{}{\middle | #2} \right \}}
% \def\@recthy at set#1{\def\@set at argi@pmg{#1}\@ifnextchar\bgroup\@setst at pmg\@setplain at pmg}
% \newcommand*{\@setst at pmg}[1]{\ifthenelse{\isempty{#1}}{\@setplain at pmg}{\left \{ \@set at argi@pmg \middle | #1\right \}}}
@@ -1345,11 +1350,11 @@
\newcommand*{\cequiv}{\mathrel{\simeq}}
\newcommand*{\ncequiv}{\mathrel{\not\simeq}}
- \NewDocumentCommand{\conv}{o}{\mathpunct{\downarrow}_{#1}}
+ \NewDocumentCommand{\conv}{O{}}{\mathpunct{\downarrow}_{#1}}
\let\converge=\conv
%\newcommand*{\convs}[1]{\ensuremath{\conv_{#1}}}
% \NewDocumentCommand{\nconv}{o}{\mathpunct{\mkern-4mu{\arrownot\mkern 4mu \downarrow}_{#1}}}
- \NewDocumentCommand{\nconv}{o}{\mathpunct{\mkern-4mu{\smallsetminus\mkern 4mu \downarrow}_{#1}}}
+ \NewDocumentCommand{\nconv}{O{}}{\mathpunct{\mkern-4mu{\smallsetminus\mkern 4mu \downarrow}_{#1}}}
\newcommand*{\diverge}{\mathpunct{\uparrow}}
% \newcommand*{\use}[2]{\mathscr{u}(#1\ifthenelse{\isempty{#2}}{}{,#2})}
\newcommand*{\use}[1]{\mathop{\ltx at ifpackageloaded{unicode-math}{\symbffrak{u}}{\mathfrak{u}}}\!\left[{#1}\right]}
@@ -1393,7 +1398,7 @@
\providecommand*{\Tdegvar}[1]{\symbf{#1}}
\providecommand*{\Tdegof}[1]{\utilde{#1}}
\providecommand*{\Tdeg}[1]{\ifthenelse{
- %\equal{\detokenize{\Tzero}}{\futurelet\next at pmg\discard#1\@nil\expandafter\detokenize{\next at pmg}}
+ % \equal{\detokenize{\Tzero}}{\futurelet\next at pmg\discard#1\@nil\expandafter\detokenize{\next at pmg}}
\equal{\detokenize{\Tzero}}{\detokenize{#1}} \OR
\equal{\detokenize{\Tzero}}{\detokenize{#1}} \OR
\equal{\detokenize{\zeroj}}{\detokenize{#1}} \OR
More information about the tex-live-commits
mailing list