mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-27 22:41:09 +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).
47 lines
1.4 KiB
HTML
47 lines
1.4 KiB
HTML
# Author : David L. Johnson <dlj0@lehigh.edu>
|
|
# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
|
|
# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
|
|
# This version has Theorems and other results numbered in one sequence, and all
|
|
# numbered environments (figures as well) containing the section number.
|
|
# (Themorem (1.1), Corollary (1.2) Theorem (1.3), etc.
|
|
# These are only the theorems styles environnements
|
|
# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
|
|
# Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
|
|
|
|
Format 95
|
|
|
|
Style Proof
|
|
Category Reasoning
|
|
Margin First_Dynamic
|
|
LatexType Environment
|
|
LatexName proof
|
|
NextNoIndent 1
|
|
ResetArgs 1
|
|
Argument 1
|
|
LabelString "Alternative Proof String"
|
|
Tooltip "Alternative proof string"
|
|
EndArgument
|
|
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 Box
|
|
Font
|
|
Shape Up
|
|
Size Normal
|
|
EndFont
|
|
LabelFont
|
|
Shape Italic
|
|
EndFont
|
|
DocBookTag para
|
|
DocBookAttr role='proof'
|
|
End
|
|
|