Merge branch 'master' into bachelor-thesis
This commit is contained in:
commit
bd9d19bcfb
2 changed files with 21 additions and 29 deletions
|
@ -46,22 +46,16 @@ __HEADER__(Automatic references to theorems in proofs. Claim counters within pro
|
||||||
|
|
||||||
%%%Now, we internally got a proof and a subproof environment
|
%%%Now, we internally got a proof and a subproof environment
|
||||||
%%%Make them available as 'old' variants, with their defautl behaviour
|
%%%Make them available as 'old' variants, with their defautl behaviour
|
||||||
\NewDocumentEnvironment{oldproof}{ o }
|
\NewDocumentEnvironment{oldproof} { }
|
||||||
{
|
|
||||||
\IfValueTF { #1 }
|
|
||||||
{
|
|
||||||
__PACKAGE_MACRO__(saved_proof:w) { #1 }
|
|
||||||
}
|
|
||||||
{
|
{
|
||||||
__PACKAGE_MACRO__(saved_proof:w)
|
__PACKAGE_MACRO__(saved_proof:w)
|
||||||
}
|
}
|
||||||
}
|
{
|
||||||
{
|
|
||||||
__PACKAGE_MACRO__(saved_endproof:)
|
__PACKAGE_MACRO__(saved_endproof:)
|
||||||
}
|
}
|
||||||
|
|
||||||
\NewDocumentEnvironment{oldsubproof}{ o }
|
\NewDocumentEnvironment{oldsubproof} { o }
|
||||||
{
|
{
|
||||||
\IfValueTF { #1 }
|
\IfValueTF { #1 }
|
||||||
{
|
{
|
||||||
__PACKAGE_MACRO__(saved_subproof:n) { #1 }
|
__PACKAGE_MACRO__(saved_subproof:n) { #1 }
|
||||||
|
@ -69,10 +63,10 @@ __HEADER__(Automatic references to theorems in proofs. Claim counters within pro
|
||||||
{
|
{
|
||||||
__PACKAGE_MACRO__(saved_subproof:n) { \translate { Subproof } }
|
__PACKAGE_MACRO__(saved_subproof:n) { \translate { Subproof } }
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
{
|
{
|
||||||
__PACKAGE_MACRO__(saved_endsubproof:)
|
__PACKAGE_MACRO__(saved_endsubproof:)
|
||||||
}
|
}
|
||||||
|
|
||||||
%%% Main implementation
|
%%% Main implementation
|
||||||
|
|
||||||
|
|
|
@ -42,6 +42,4 @@ __HEADER__(Some extra math-related symbols.)
|
||||||
% When dealing with chain complexes, one often uses a bullet as placeholder for the index to mean the whole chain:
|
% When dealing with chain complexes, one often uses a bullet as placeholder for the index to mean the whole chain:
|
||||||
\newcommand\chainbullet{\bullet}
|
\newcommand\chainbullet{\bullet}
|
||||||
|
|
||||||
|
\newcommand{\blank}{\text{--}}
|
||||||
|
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue