anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2025-01-03 08:28:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
42c2a25fb8
lyx_mirror/autotests/export/docbook/theorems-thmtools.lyx

624 lines
9.0 KiB
Plaintext
Raw Normal View History

New Theorems Module. Contributed by Udicoudco <udifoglle@gmail.com> on the mailing list. Rebased on top of master. I've modified all the non-AMS theorem modules so they would be independent of packages. currently the code support \theoremstyle, but only with definition, plain and remark. I'v added a new theorem module that support the thmtools \listoftheorems. I've modified the syntax of all theorem modules, such that it would be easier to create a new one, or maintaining the ones that exists. Instead of using \newtheorem in the preamble of a lyaout, I wrote \lyx@newtheorem, and in each module I've defiened \lyx@newtheorem as fitted. This way, there is only need in the files thorems-base, and theorems-extended, instead of an .inc file for each module. I've added theorems-labels.inc, a file that suppose to be included in a "Numbered by type" module, to change the Label and the LabelCounter of the layouts in theorems-base.inc. Note that in this configuration, all non-AMS modules will clash with the AMS ones, and so as the proof versions. theorems-proof-std.inc suppose to be in the non-AMS while theorems-proof.inc should be included only in AMS variants.
2022-12-31 00:47:37 +00:00
#LyX 2.4 created this file. For more info see https://www.lyx.org/
\lyxformat 609
\begin_document
\begin_header
\save_transient_properties true
\origin unavailable
\textclass article
\begin_preamble
% Added by lyx2lyx
\setlength{\parskip}{\smallskipamount}
\setlength{\parindent}{0pt}
\end_preamble
\use_default_options true
\begin_modules
theorems-thmtools
\end_modules
\maintain_unincluded_children no
\language english
\language_package default
\inputencoding auto-legacy
\fontencoding auto
\font_roman "default" "default"
\font_sans "default" "default"
\font_typewriter "default" "default"
\font_math "auto" "auto"
\font_default_family default
\use_non_tex_fonts false
\font_sc false
\font_roman_osf false
\font_sans_osf false
\font_typewriter_osf false
\font_sf_scale 100 100
\font_tt_scale 100 100
\use_microtype false
\use_dash_ligatures true
\graphics default
\default_output_format default
\output_sync 1
\bibtex_command default
\index_command default
\float_placement class
\float_alignment class
\paperfontsize default
\spacing single
\use_hyperref true
\pdf_title "Thmtools Module"
\pdf_author "Udi Fogiel"
\pdf_subject "test file for the thmtools module "
\pdf_keywords "thmtools, module, test"
\pdf_bookmarks true
\pdf_bookmarksnumbered false
\pdf_bookmarksopen false
\pdf_bookmarksopenlevel 1
\pdf_breaklinks false
\pdf_pdfborder true
\pdf_colorlinks true
\pdf_backref false
\pdf_pdfusetitle true
\pdf_quoted_options "linkcolor=blue"
\papersize default
\use_geometry false
\use_package amsmath 1
\use_package amssymb 1
\use_package cancel 1
\use_package esint 1
\use_package mathdots 1
\use_package mathtools 1
\use_package mhchem 1
\use_package stackrel 1
\use_package stmaryrd 1
\use_package undertilde 1
\cite_engine basic
\cite_engine_type default
\biblio_style plain
\use_bibtopic false
\use_indices false
\paperorientation portrait
\suppress_date true
\justification true
\use_refstyle 1
\use_minted 0
\use_lineno 0
\branch blind
\selected 1
\filename_suffix 0
\color background background
\end_branch
\index Index
\shortcut idx
\color #008000
\end_index
\secnumdepth 3
\tocdepth 3
\paragraph_separation indent
\paragraph_indentation default
\is_math_indent 0
\math_numbering_side default
\quotes_style english
\dynamic_quotes 0
\papercolumns 1
\papersides 1
\paperpagestyle default
\tablestyle default
\bullet 0 0 2 -1
\tracking_changes false
\output_changes false
\change_bars false
\postpone_fragile_content false
\html_math_output 0
\html_css_as_file 0
\html_be_strict false
\docbook_table_output 0
\docbook_mathml_prefix 1
\end_header
\begin_body
\begin_layout Claim
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Claim*
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Conjecture
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Conjecture*
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Corollary
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Corollary*
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Definition
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Definition*
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Example
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Example*
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Exercise
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Exercise*
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Fact
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Fact*
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Lemma
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Lemma*
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Problem
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Problem*
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Proposition
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Proposition*
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Remark
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Theorem
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Theorem*
\begin_inset Argument 1
status open
\begin_layout Plain Layout
Dummy Note
\end_layout
\end_inset
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Case
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Proof
Dummy Text, Dummy Text, Dummy Text, Dummy Text.
\end_layout
\begin_layout Standard
\begin_inset Separator plain
\end_inset
\end_layout
\begin_layout Standard
\begin_inset Flex List of Theorems
status open
\begin_layout Plain Layout
\begin_inset Argument 1
status open
\begin_layout Plain Layout
\end_layout
\end_inset
\end_layout
\end_inset
\end_layout
\end_body
\end_document
Reference in New Issue Copy Permalink