New env without pencil icon

This commit is contained in:
Jeff Lance 2017-04-21 21:57:44 +02:00
parent da3662beb4
commit 0693768f5c

View File

@ -414,6 +414,16 @@
\end{déf*} \end{déf*}
} }
\RenewDocumentEnvironment{défn}{ o } {%begin
\IfNoValueTF {#1} {
\begin{défn*}
}{
\begin{défn*}[#1]
}
}{%end
\end{défn*}
}
\RenewDocumentEnvironment{thm}{ o } {%begin \RenewDocumentEnvironment{thm}{ o } {%begin
\IfNoValueTF {#1} { \IfNoValueTF {#1} {
\begin{thm*} \begin{thm*}
@ -434,6 +444,16 @@
\end{ppt*} \end{ppt*}
} }
\RenewDocumentEnvironment{pptn}{ o } {%begin
\IfNoValueTF {#1} {
\begin{pptn*}
}{
\begin{pptn*}[#1]
}
}{%end
\end{pptn*}
}
\RenewDocumentEnvironment{exe}{ o } {%begin \RenewDocumentEnvironment{exe}{ o } {%begin
\IfNoValueTF {#1} { \IfNoValueTF {#1} {
\begin{exe*} \begin{exe*}