mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-25 19:07:45 +00:00
9ca91b2566
There is nothing in the diff besides the format number changing from 93 to 95. From what I understand, this is as expected since 93 -> 94 and 94 -> 95 just add new layout tags. Updating the layouts makes it easier to test master. Otherwise, in some use cases layout2layout can be run hundreds of times which can make some things slow (e.g., opening documents or even opening the advanced find pane).
140 lines
3.1 KiB
Plaintext
140 lines
3.1 KiB
Plaintext
#% Do not delete the line below; configure depends on this
|
|
# \DeclareLaTeXClass[article,theorem.sty]{Hebrew Article}
|
|
# \DeclareCategory{Articles}
|
|
# Hebrew article textclass definition file.
|
|
# Author: Dekel Tsur <dekel@math.tau.ac.il>
|
|
# Few changes by Baruch Even <baruch.even@writeme.com>
|
|
|
|
Format 95
|
|
Input article
|
|
|
|
Preamble
|
|
\usepackage{theorem}
|
|
\theorembodyfont{\upshape}
|
|
% LuaTeX/luabidi does not know \beginR
|
|
% FIXME LuaTeX/luabidi does not get the order right
|
|
\AtBeginDocument{
|
|
\@ifundefined{setRTL}{}{\providecommand\beginR{\setRTL}}
|
|
}
|
|
\newtheorem{theorem}{{\beginR משפט}}[section]
|
|
% Only needed by babel, not polyglossia (which does
|
|
% not have \make@lr defined)
|
|
\@ifundefined{make@lr}{}{%
|
|
\AtBeginDocument{\make@lr\thetheorem}
|
|
}
|
|
EndPreamble
|
|
|
|
|
|
Style Theorem
|
|
Category Reasoning
|
|
Margin First_Dynamic
|
|
LatexType Environment
|
|
LatexName theorem
|
|
NextNoIndent 1
|
|
LabelSep xx
|
|
ParIndent MMM
|
|
ParSkip 0.4
|
|
ItemSep 0.2
|
|
TopSep 0.7
|
|
BottomSep 0.7
|
|
ParSep 0.3
|
|
Align Block
|
|
AlignPossible Block, Left
|
|
LabelType Static
|
|
LabelString "Theorem #."
|
|
Font
|
|
Shape Up
|
|
Size Normal
|
|
EndFont
|
|
LabelFont
|
|
Shape Up
|
|
Series Bold
|
|
EndFont
|
|
End
|
|
|
|
|
|
Style Lemma
|
|
CopyStyle Theorem
|
|
LatexName lemma
|
|
LabelString "Lemma #."
|
|
Preamble
|
|
\newtheorem{lemma}[theorem]{{\beginR למה}}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Corollary
|
|
CopyStyle Theorem
|
|
LatexName corollary
|
|
LabelString "Corollary #."
|
|
Preamble
|
|
\newtheorem{corollary}[theorem]{{\beginR מסקנה}}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Claim
|
|
CopyStyle Theorem
|
|
LatexName claim
|
|
LabelString "Claim #."
|
|
Preamble
|
|
\newtheorem{claim}[theorem]{{\beginR טענה}}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Definition
|
|
CopyStyle Theorem
|
|
LatexName definition
|
|
LabelString "Definition #."
|
|
Preamble
|
|
\newtheorem{definition}[theorem]{{\beginR הגדרה}}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Remarks
|
|
CopyStyle Theorem
|
|
LatexName remark
|
|
LabelString "Remarks #."
|
|
Preamble
|
|
\newtheorem{remark}[theorem]{{\beginR הערה}}
|
|
EndPreamble
|
|
End
|
|
|
|
|
|
Style Proof
|
|
Category Reasoning
|
|
Margin First_Dynamic
|
|
LatexType Environment
|
|
LatexName proof
|
|
NextNoIndent 1
|
|
LabelSep xx
|
|
ParIndent MMM
|
|
ParSkip 0.4
|
|
ItemSep 0.2
|
|
TopSep 0.7
|
|
BottomSep 0.7
|
|
ParSep 0.3
|
|
Align Block
|
|
AlignPossible Block, Left
|
|
LabelType Static
|
|
LabelString "Proof:"
|
|
EndLabelType Filled_Box
|
|
Font
|
|
Shape Up
|
|
Size Normal
|
|
EndFont
|
|
LabelFont
|
|
Shape Up
|
|
Series Bold
|
|
EndFont
|
|
Preamble
|
|
\newenvironment{proof}%
|
|
{{\beginR \textbf{הוכחה:}}}%
|
|
{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
|
|
EndPreamble
|
|
End
|
|
|
|
Input theorems-refprefix.inc
|