summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/projlib/ProjLib.dtx
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-04-26 03:02:04 +0000
committerNorbert Preining <norbert@preining.info>2022-04-26 03:02:04 +0000
commit6f7554fc6cab67e3dc397ce7a942889eedbc4967 (patch)
treecd63f9ed43b147e44b3f1981bf7bda23680416b1 /macros/latex/contrib/projlib/ProjLib.dtx
parent4688b855bb6f8b817901a7c777e8aecd1a189622 (diff)
CTAN sync 202204260302
Diffstat (limited to 'macros/latex/contrib/projlib/ProjLib.dtx')
-rw-r--r--macros/latex/contrib/projlib/ProjLib.dtx166
1 files changed, 152 insertions, 14 deletions
diff --git a/macros/latex/contrib/projlib/ProjLib.dtx b/macros/latex/contrib/projlib/ProjLib.dtx
index c9d214f9e1..b7e1189fb0 100644
--- a/macros/latex/contrib/projlib/ProjLib.dtx
+++ b/macros/latex/contrib/projlib/ProjLib.dtx
@@ -20,77 +20,77 @@
%<*ProjLib>
\ProvidesExplPackage
{ProjLib}
- {2022/04/18} {}
+ {2022/04/24} {}
{Collective interface of the ProjLib toolkit}
%</ProjLib>
%
%<*projlib-author>
\ProvidesExplPackage
{projlib-author}
- {2022/04/18} {}
+ {2022/04/24} {}
{Enhanced author information block}
%</projlib-author>
%
%<*projlib-datetime>
\ProvidesExplPackage
{projlib-datetime}
- {2022/04/18} {}
+ {2022/04/24} {}
{Convert numeric date-time string to natural language}
%</projlib-datetime>
%
%<*projlib-draft>
\ProvidesExplPackage
{projlib-draft}
- {2022/04/18} {}
+ {2022/04/24} {}
{Useful commands during draft stage}
%</projlib-draft>
%
%<*projlib-font>
\ProvidesExplPackage
{projlib-font}
- {2022/04/18} {}
+ {2022/04/24} {}
{Font selection and configuration}
%</projlib-font>
%
%<*projlib-language>
\ProvidesExplPackage
{projlib-language}
- {2022/04/18} {}
+ {2022/04/24} {}
{Multi-language configuration}
%</projlib-language>
%
%<*projlib-logo>
\ProvidesExplPackage
{projlib-logo}
- {2022/04/18} {}
+ {2022/04/24} {}
{The ProjLib logo}
%</projlib-logo>
%
%<*projlib-math>
\ProvidesExplPackage
{projlib-math}
- {2022/04/18} {}
+ {2022/04/24} {}
{Efficient math setup}
%</projlib-math>
%
%<*projlib-paper>
\ProvidesExplPackage
{projlib-paper}
- {2022/04/18} {}
+ {2022/04/24} {}
{Configuration of the paper style}
%</projlib-paper>
%
%<*projlib-theorem>
\ProvidesExplPackage
{projlib-theorem}
- {2022/04/18} {}
+ {2022/04/24} {}
{Configuration of theorem-like environments}
%</projlib-theorem>
%
%<*projlib-titlepage>
\ProvidesExplPackage
{projlib-titlepage}
- {2022/04/18} {}
+ {2022/04/24} {}
{Commands for rendering the title page}
%</projlib-titlepage>
@@ -2129,6 +2129,7 @@
\RequirePackage { projlib-language }
\RequirePackage { xcolor }
+\PassOptionsToPackage { normalem } { ulem }
\RequirePackage { ulem }
\cs_new_protected:Nn \projlib_draft_plain_box_lines:n
@@ -2254,6 +2255,7 @@
\group_end:
\tl_gput_right:Nn \g__projlib_draft_DNF_report_tl
{
+ \setlength { \parfillskip } { 0pt plus 1fil }
\noindent
\# \,
}
@@ -2787,6 +2789,8 @@
\PassOptionsToPackage { italian, brazilian, spanish, ngerman, french, english } { cleveref }
\RequirePackage { babel }
+\RequirePackage { silence }
+\WarningFilter { biblatex } { Language }
\bool_if:NT \g__projlib_language_enabled_french_bool
{
@@ -3736,8 +3740,10 @@
assertion ,
assumption ,
axiom ,
+ claim ,
conclusion ,
conjecture ,
+ construction ,
convention ,
corollary ,
definition ,
@@ -3753,6 +3759,7 @@
property ,
proposition ,
question ,
+ recall ,
remark ,
theorem ,
definition-proposition ,
@@ -3799,6 +3806,8 @@
\RequirePackage { amsthm }
\RequirePackage { create-theorem }
+\RenewCommandCopy \cref \crefthe
+\RenewCommandCopy \Cref \Crefthe
\bool_if:NF \l__projlib_theorem_no_theorems_bool
{
@@ -4047,7 +4056,7 @@
, spanish = Aserción
, schinese = 断言
, tchinese = 斷言
- , japanese = アサーション
+ , japanese = 断言
, russian = Утверждение
}
, crefname = {
@@ -4060,7 +4069,7 @@
, spanish = [la]{Aserción}[las]{Aserción}
, schinese = {断言}{断言}
, tchinese = {斷言}{斷言}
- , japanese = {アサーション}{アサーション}
+ , japanese = {断言}{断言}
, russian = {Утверждение}{Утверждение}
}
, Crefname = {
@@ -4073,7 +4082,7 @@
, spanish = [La]{Aserción}[Las]{Aserción}
, schinese = {断言}{断言}
, tchinese = {斷言}{斷言}
- , japanese = {アサーション}{アサーション}
+ , japanese = {断言}{断言}
, russian = {Утверждение}{Утверждение}
}
}
@@ -4164,6 +4173,49 @@
}
}
+\NameTheorem { claim }
+ {
+ , heading = {
+ , english = Claim
+ , french = Affirmation
+ , ngerman = Affirmation
+ , italian = Affermazione
+ , portuguese = Afirmação
+ , brazilian = Afirmação
+ , spanish = Afirmación
+ , schinese = 断言
+ , tchinese = 斷言
+ , japanese = 断言
+ , russian = Утверждение
+ }
+ , crefname = {
+ , english = {Claim}{Claim}
+ , french = [l']{Affirmation}[les]{Affirmation}
+ , ngerman = {Affirmation}{Affirmation}
+ , italian = [l']{Affermazione}[le]{Affermazione}
+ , portuguese = [a]{Afirmação}[as]{Afirmação}
+ , brazilian = [a]{Afirmação}[as]{Afirmação}
+ , spanish = [la]{Afirmación}[las]{Afirmación}
+ , schinese = {断言}{断言}
+ , tchinese = {斷言}{斷言}
+ , japanese = {断言}{断言}
+ , russian = {Утверждение}{Утверждение}
+ }
+ , Crefname = {
+ , english = {Claim}{Claim}
+ , french = [L']{Affirmation}[Les]{Affirmation}
+ , ngerman = {Affirmation}{Affirmation}
+ , italian = [L']{Affermazione}[Le]{Affermazione}
+ , portuguese = [A]{Afirmação}[As]{Afirmação}
+ , brazilian = [A]{Afirmação}[As]{Afirmação}
+ , spanish = [La]{Afirmación}[Las]{Afirmación}
+ , schinese = {断言}{断言}
+ , tchinese = {斷言}{斷言}
+ , japanese = {断言}{断言}
+ , russian = {Утверждение}{Утверждение}
+ }
+ }
+
\NameTheorem { conclusion }
{
, heading = {
@@ -4250,6 +4302,49 @@
}
}
+\NameTheorem { construction }
+ {
+ , heading = {
+ , english = Construction
+ , french = Construction
+ , ngerman = Konstruktion
+ , italian = Costruzione
+ , portuguese = Construção
+ , brazilian = Construção
+ , spanish = Construcción
+ , schinese = 构造
+ , tchinese = 構造
+ , japanese = 構造
+ , russian = Конструкция
+ }
+ , crefname = {
+ , english = {Construction}{Construction}
+ , french = [la]{Construction}[les]{Construction}
+ , ngerman = {Konstruktion}{Konstruktion}
+ , italian = [la]{Costruzione}[le]{Costruzione}
+ , portuguese = [a]{Construção}[as]{Construção}
+ , brazilian = [a]{Construção}[as]{Construção}
+ , spanish = [la]{Construcción}[las]{Construcción}
+ , schinese = {构造}{构造}
+ , tchinese = {構造}{構造}
+ , japanese = {構造}{構造}
+ , russian = {Конструкция}{Конструкция}
+ }
+ , Crefname = {
+ , english = {Construction}{Construction}
+ , french = [La]{Construction}[Les]{Construction}
+ , ngerman = {Konstruktion}{Konstruktion}
+ , italian = [La]{Costruzione}[Le]{Costruzione}
+ , portuguese = [A]{Construção}[As]{Construção}
+ , brazilian = [A]{Construção}[As]{Construção}
+ , spanish = [La]{Construcción}[Las]{Construcción}
+ , schinese = {构造}{构造}
+ , tchinese = {構造}{構造}
+ , japanese = {構造}{構造}
+ , russian = {Конструкция}{Конструкция}
+ }
+ }
+
\NameTheorem { convention }
{
, heading = {
@@ -4895,6 +4990,49 @@
}
}
+\NameTheorem { recall }
+ {
+ , heading = {
+ , english = Recall
+ , french = Rappel
+ , ngerman = Rückruf
+ , italian = Richiamo
+ , portuguese = Recordação
+ , brazilian = Recordação
+ , spanish = Recuerdo
+ , schinese = 回顾
+ , tchinese = 回顧
+ , japanese = 回顧
+ , russian = Напоминание
+ }
+ , crefname = {
+ , english = {Recall}{Recall}
+ , french = [le]{Rappel}[les]{Rappel}
+ , ngerman = {Rückruf}{Rückruf}
+ , italian = [il]{Richiamo}[i]{Richiamo}
+ , portuguese = [a]{Recordação}[as]{Recordação}
+ , brazilian = [a]{Recordação}[as]{Recordação}
+ , spanish = [el]{Recuerdo}[los]{Recuerdo}
+ , schinese = {回顾}{回顾}
+ , tchinese = {回顧}{回顧}
+ , japanese = {回顧}{回顧}
+ , russian = {Напоминание}{Напоминание}
+ }
+ , Crefname = {
+ , english = {Recall}{Recall}
+ , french = [Le]{Rappel}[Les]{Rappel}
+ , ngerman = {Rückruf}{Rückruf}
+ , italian = [Il]{Richiamo}[I]{Richiamo}
+ , portuguese = [A]{Recordação}[As]{Recordação}
+ , brazilian = [A]{Recordação}[As]{Recordação}
+ , spanish = [El]{Recuerdo}[Los]{Recuerdo}
+ , schinese = {回顾}{回顾}
+ , tchinese = {回顧}{回顧}
+ , japanese = {回顧}{回顧}
+ , russian = {Напоминание}{Напоминание}
+ }
+ }
+
\NameTheorem { remark }
{
, heading = {