[LyX/master] Document "Provides newtheorem:thm 1"

[Juergen Spitzmueller]

commit dea88f910f67b7a2e92800e6ba2d2f3b83f38cfc
Author: Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni at inria.fr>
Date:   Thu Sep 3 02:09:57 2026 +0200

    Document "Provides newtheorem:thm 1"
---
 lib/doc/Customization.lyx        | 110 +++++++++++++++++++++++++++++++++++++--
 lib/layouts/theorems-starred.inc |   2 +-
 2 files changed, 108 insertions(+), 4 deletions(-)

diff --git a/lib/doc/Customization.lyx b/lib/doc/Customization.lyx
index 3f14b3ee02..04b0028080 100644
--- a/lib/doc/Customization.lyx
+++ b/lib/doc/Customization.lyx
@@ -147,6 +147,7 @@ logicalmkup
 \docbook_table_output 0
 \docbook_mathml_prefix 1
 \docbook_mathml_version 0
+\author -2024109662 "Guillaume Munch-Maccagnoni"
 \author -712698321 "Jürgen Spitzmüller"
 \end_header
 
@@ -11739,7 +11740,14 @@ makeidx
 
 \end_inset
 
-) or a macro (e.
+)
+\change_deleted -2024109662 1788393890
+ or
+\change_inserted -2024109662 1788393890
+,
+
+\change_unchanged
+ a macro (e.
 \begin_inset space \thinspace{}
 \end_inset
 
@@ -11767,7 +11775,32 @@ boldsymbol
 
 \end_inset
 
-).
+)
+\change_inserted -2024109662 1788393934
+,
+ or a specific syntax (e.
+\begin_inset space \thinspace{}
+\end_inset
+
+g.
+\begin_inset space \space{}
+\end_inset
+
+
+\begin_inset Flex Code
+status collapsed
+
+\begin_layout Plain Layout
+
+\change_inserted -2024109662 1788393939
+newtheorem:thm
+\end_layout
+
+\end_inset
+
+)
+\change_unchanged
+.
  See 
 \begin_inset CommandInset ref
 LatexCommand ref
@@ -17563,7 +17596,11 @@ amsthm
 \end_inset
 
 ) package.
- The name given here is used in the definition (first mandatory argument of 
+ The name given here is 
+\change_inserted -2024109662 1788393455
+the one 
+\change_unchanged
+used in the definition (first mandatory argument of 
 \begin_inset Flex Code
 status collapsed
 
@@ -17576,6 +17613,73 @@ newtheorem
 \end_inset
 
 ).
+
+\change_inserted -2024109662 1788393715
+ If the style is used in the document,
+ then a matching theorem definition using 
+\begin_inset Flex Code
+status collapsed
+
+\begin_layout Plain Layout
+
+\change_inserted -2024109662 1788393495
+
+\backslash
+newtheorem
+\end_layout
+
+\end_inset
+
+ will be inserted in the preamble.
+ To omit this 
+\begin_inset Flex Code
+status collapsed
+
+\begin_layout Plain Layout
+
+\change_inserted -2024109662 1788393707
+
+\backslash
+newtheorem
+\end_layout
+
+\end_inset
+
+ command (for instance if the document class already provides it),
+ you can declare 
+\begin_inset Flex Code
+status collapsed
+
+\begin_layout Plain Layout
+
+\change_inserted -2024109662 1788393764
+Provides newtheorem:
+\emph on
+theoremname
+\emph default
+ 1
+\end_layout
+
+\end_inset
+
+ in the layout,
+ where 
+\begin_inset Flex Code
+status collapsed
+
+\begin_layout Plain Layout
+
+\change_inserted -2024109662 1788393768
+
+\emph on
+theoremname
+\end_layout
+
+\end_inset
+
+ is this name.
+\change_unchanged
+
 \end_layout
 
 \begin_layout Description
diff --git a/lib/layouts/theorems-starred.inc b/lib/layouts/theorems-starred.inc
index 2ae07a13ad..f441c46465 100644
--- a/lib/layouts/theorems-starred.inc
+++ b/lib/layouts/theorems-starred.inc
@@ -10,6 +10,7 @@
 # - Lemma
 # - Proposition
 # - Conjecture
+# - Fact
 # - Definition
 # - Example
 # - Problem
@@ -17,7 +18,6 @@
 # - Solution
 # - Remark
 # - Claim
-# - Proof
 
 # TODO: for DocBook, there is no difference with standard (not starred) environments.
 # How to encode the subtlety?