latex/latex-packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

integrate separate dictionary for proof package

Browse source
This commit is contained in:
Maximilian Keßler 2022-01-09 14:24:16 +01:00
parent 06965d4a3a
commit 6ef381dc6a
3 changed files with 24 additions and 47 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
PyTeX

@ -1 +1 @@
Subproject commit 9bf3daa3524bc9e8009b50c8ae17294e30748dfa Subproject commit 5e077e77d88ec6b71ac0d39e21572fad5938b0c6

20
src/wip/proof.pydict Normal file
View file

@ -0,0 +1,20 @@
key,English,German
Claim,Claim,Behauptung
claim,claim,Behauptung
Proof,Proof,Beweis
proof,proof,Beweis
Proof*,Proof*,Beweis*
proof*,proof*,Beweis*
Proof of,Proof of,Beweis von
proof of,proof of,Beweis von
Proof* of,Proof* of,Beweis* von
proof* of,proof* of,Beweis* von
Continuation of proof,Continuation of proof,Fortsetzung des Beweises
continuation of proof,continuation of proof,Fortsetzung des Beweises
Continuation of proof of,Continuation of proof of,Fortsetzung des Beweises zu
continuation of proof of,continuation of proof of,Fortsetzung des Beweises zu
Continuation of proof*,Continuation of proof*,Fortsetzung des Beweises*
continuation of proof*,continuation of proof*,Fortsetzung des Beweises*
Continuation of proof* of,Continuation of proof* of,Fortsetzung des Beweises* zu
continuation of proof* of,continuation of proof* of,Fortsetzung des Beweises* zu

49
src/wip/proof.pysty
View file

@ -1,8 +1,6 @@
__HEADER__(Automatic references to theorems in proofs. Claim counters within proofs) __HEADER__(Automatic references to theorems in proofs. Claim counters within proofs)
\RequirePackage{xkeyval} \RequirePackage{xkeyval}
\RequirePackage{refcount}
\RequirePackage{translator}
__LANGUAGE_OPTIONS_X__ __LANGUAGE_OPTIONS_X__
@ -12,51 +10,10 @@ __END_OPTIONS_X__
\RequirePackage{amsthm} \RequirePackage{amsthm}
\RequirePackage{etoolbox} \RequirePackage{etoolbox}
\RequirePackage{xparse} \RequirePackage{xparse}
\RequirePackage{refcount}
\RequirePackage{translator}
\newtranslation[to = English]{Claim}{Claim} \usedictionary{translator-proof-dictionary}
\newtranslation[to = German]{Claim}{Behauptung}
\newtranslation[to = English]{claim}{claim}
\newtranslation[to = German]{claim}{Behauptung}
\newtranslation[to = English]{Proof}{Proof}
\newtranslation[to = German]{Proof}{Beweis}
\newtranslation[to = English]{proof}{proof}
\newtranslation[to = German]{proof}{Beweis}
\newtranslation[to = English]{Proof*}{Proof*}
\newtranslation[to = German]{Proof*}{Beweis*}
\newtranslation[to = English]{proof*}{proof*}
\newtranslation[to = German]{proof*}{Beweis*}
\newtranslation[to = English]{Proof of}{Proof of}
\newtranslation[to = German]{Proof of}{Beweis von}
\newtranslation[to = English]{proof of}{proof of}
\newtranslation[to = German]{proof of}{Beweis von}
\newtranslation[to = English]{Proof* of}{Proof* of}
\newtranslation[to = German]{Proof* of}{Beweis* von}
\newtranslation[to = English]{proof* of}{proof* of}
\newtranslation[to = German]{proof* of}{Beweis* von}
\newtranslation[to = English]{Continuation of proof}{Continuation of proof}
\newtranslation[to = German]{Continuation of proof}{Fortsetzung des Beweises}
\newtranslation[to = English]{continuation of proof}{continuation of proof}
\newtranslation[to = German]{continuation of proof}{Fortsetzung des Beweises}
\newtranslation[to = English]{Continuation of proof of}{Continuation of proof of}
\newtranslation[to = German]{Continuation of proof of}{Fortsetzung des Beweises zu}
\newtranslation[to = English]{continuation of proof of}{continuation of proof of}
\newtranslation[to = German]{continuation of proof of}{Fortsetzung des Beweises zu}
\newtranslation[to = English]{Continuation of proof*}{Continuation of proof*}
\newtranslation[to = German]{Continuation of proof*}{Fortsetzung des Beweises*}
\newtranslation[to = English]{continuation of proof*}{continuation of proof*}
\newtranslation[to = German]{continuation of proof*}{Fortsetzung des Beweises*}
\newtranslation[to = English]{Continuation of proof* of}{Continuation of proof* of}
\newtranslation[to = German]{Continuation of proof* of}{Fortsetzung des Beweises* zu}
\newtranslation[to = English]{continuation of proof* of}{continuation of proof* of}
\newtranslation[to = German]{continuation of proof* of}{Fortsetzung des Beweises* zu}
%%Give claim an own counter and let it reset at each proof %%Give claim an own counter and let it reset at each proof
%See also at: %See also at: