re-indent (tab for logical indentation, spaces for alignment)

[features.git] / lib / layouts / heb-article.layout

diff --git a/lib/layouts/heb-article.layout b/lib/layouts/heb-article.layout
index cf167affcd791baaa5cd9e990368584b033356a5..98b450b8ee74da6cdd3ed5d0fb683bd2c0121154 100644 (file)
--- a/lib/layouts/heb-article.layout
+++ b/lib/layouts/heb-article.layout
@@ -2,95 +2,126 @@
 #  \DeclareLaTeXClass[article]{article (Hebrew)}
 # Hebrew article textclass definition file.
 # Author: Dekel Tsur <dekel@math.tau.ac.il>
+# Few changes by Baruch Even <baruch.even@writeme.com>
 
 Input article
 
 Preamble
-\newtheorem{theorem}{\R{\mem\shin\pe\tet}}[section]
-\newtheorem{lemma}[theorem]{\R{\lamed\mem\he}}
-\newtheorem{claim}[theorem]{\R{\tet\ayin\nun\he}}
-\newtheorem{corollary}[theorem]{\R{\mem\samekh\qof\nun\he}}
-\newenvironment{proof}{\R{\em \he\vav\kaf\het\he:}}{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
+\usepackage{theorem}
+\theorembodyfont{\upshape}
+\newtheorem{theorem}{\R{îùôè}}[section]
+\AtBeginDocument{\make@lr\thetheorem}
 EndPreamble
 
-# Proof style declaration
-Style Proof
-  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           ":äçëåä"
-  # standard font definition
-  Font
-    Shape               Up
-    Size                Normal
-  EndFont
-  # label font definition
-  LabelFont
-    Shape               Italic
-  EndFont
+Style Comment
+       LabelString           ":äøòä"
 End
 
-Style Theorem
-  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           ".# èôùî"
-  # standard font definition
-  Font
-    Shape               Italic
-    Size                Normal
-  EndFont
-  # label font definition
-  LabelFont
-    Shape               Up
-    Series              Bold
-  EndFont
+Style Abstract
+       LabelString           "øéö÷ú"
 End
 
-Style Corollary
-  CopyStyle             Theorem
-  LatexName             corollary
-  LabelString           ".# äð÷ñî"
+Style Theorem
+       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           ".# èôùî"
+       # standard font definition
+       Font
+         Shape               Up
+         Size                Normal
+       EndFont
+       # label font definition
+       LabelFont
+         Shape               Up
+         Series              Bold
+       EndFont
 End
 
 Style Lemma
-  CopyStyle             Theorem
-  LatexName             lemma
-  LabelString           ".# äîì"
+       CopyStyle             Theorem
+       LatexName             lemma
+       LabelString           ".# äîì"
+       Preamble
+\newtheorem{lemma}[theorem]{\R{ìîä}}
+       EndPreamble
+End
+
+Style Corollary
+       CopyStyle             Theorem
+       LatexName             corollary
+       LabelString           ".# äð÷ñî"
+       Preamble
+\newtheorem{corollary}[theorem]{\R{îñ÷ðä}}
+       EndPreamble
 End
 
 Style Claim
-  CopyStyle             Theorem
-  LatexName             claim
-  LabelString           ".# äðòè"
+       CopyStyle             Theorem
+       LatexName             claim
+       LabelString           ".# äðòè"
+       Preamble
+\newtheorem{claim}[theorem]{\R{èòðä}}
+       EndPreamble
 End
 
-Style Comment
-  LabelString           ": äøòä"
+Style Definition
+       CopyStyle             Theorem
+       LatexName             definition
+       LabelString           ".# äøãâä"
+       Preamble
+\newtheorem{definition}[theorem]{\R{äâãøä}}
+       EndPreamble
 End
 
-Style Abstract
-  LabelString           "øéö÷ú"
-End
\ No newline at end of file
+Style Remarks
+       CopyStyle             Theorem
+       LatexName             remark
+       LabelString           ".# äøòä"
+       Preamble
+\newtheorem{remark}[theorem]{\R{äòøä}}
+       EndPreamble
+End
+
+Style Proof
+       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           ":äçëåä"
+       EndLabelType          Filled_Box
+       # standard font definition
+       Font
+         Shape               Up
+         Size                Normal
+       EndFont
+       # label font definition
+       LabelFont
+         Shape               Up
+         Series              Bold
+       EndFont
+       Preamble
+\newenvironment{proof}{\R{\textbf{äåëçä:}}}{\hfill\rule{2mm}{2mm}\par\vspace{2mm}}
+       EndPreamble
+End