anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-11-09 18:31:04 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
c8c1c15631
lyx_mirror/lib/layouts/theorems-proof.inc

47 lines
1.4 KiB
PHP
Raw Normal View History

Fix typos in comments
2022-12-22 01:54:28 +00:00
# Author: David L. Johnson <dlj0@lehigh.edu>
Modularization of the AMS classes, and the theorem environments generally. This is Part I: The changes to the layout files and modules. Part II, still to come, will involve lyx2lyx to help people who were using the older classes. git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@22461 a592a061-630c-0410-9148-cb99ea01b6c8
2008-01-10 04:58:20 +00:00
# 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
Fix typos in comments
2022-12-22 01:54:28 +00:00
# numbered environments (figures as well) containing the section number
# (Theorem (1.1), Corollary (1.2) Theorem (1.3), etc.)
# These are only the theorems styles environments
Modularization of the AMS classes, and the theorem environments generally. This is Part I: The changes to the layout files and modules. Part II, still to come, will involve lyx2lyx to help people who were using the older classes. git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@22461 a592a061-630c-0410-9148-cb99ea01b6c8
2008-01-10 04:58:20 +00:00
# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
Change name and email in layout files
2020-12-05 22:09:17 +00:00
# Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
Modularization of the AMS classes, and the theorem environments generally. This is Part I: The changes to the layout files and modules. Part II, still to come, will involve lyx2lyx to help people who were using the older classes. git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@22461 a592a061-630c-0410-9148-cb99ea01b6c8
2008-01-10 04:58:20 +00:00
Update layouts to format 98
2022-12-06 06:02:22 +00:00
Format 98
Modularization of the AMS classes, and the theorem environments generally. This is Part I: The changes to the layout files and modules. Part II, still to come, will involve lyx2lyx to help people who were using the older classes. git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@22461 a592a061-630c-0410-9148-cb99ea01b6c8
2008-01-10 04:58:20 +00:00
Style Proof
Renamed category 'Theorem' and 'Theorems' to 'Reasoning'
2013-01-30 11:36:49 +00:00
Category Reasoning
Modularization of the AMS classes, and the theorem environments generally. This is Part I: The changes to the layout files and modules. Part II, still to come, will involve lyx2lyx to help people who were using the older classes. git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@22461 a592a061-630c-0410-9148-cb99ea01b6c8
2008-01-10 04:58:20 +00:00
Margin First_Dynamic
LatexType Environment
LatexName proof
NextNoIndent 1
Reset arguments in theorem definition to avoid argument clash (#8827)
2013-09-03 15:43:33 +00:00
ResetArgs 1
InsetArgument revision, first working version
2012-11-19 13:21:02 +00:00
Argument 1
LabelString "Alternative Proof String"
Tooltip "Alternative proof string"
EndArgument
Modularization of the AMS classes, and the theorem environments generally. This is Part I: The changes to the layout files and modules. Part II, still to come, will involve lyx2lyx to help people who were using the older classes. git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@22461 a592a061-630c-0410-9148-cb99ea01b6c8
2008-01-10 04:58:20 +00:00
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
DocBook: implement theorems. This is a minimal implementation, as DocBook lacks a serious way of encoding all of this. Maybe a <formalpara> could do the trick, but I'd need to find a way to shoehorn a title through the styles (i.e. a first complete tag): Theorem: Bla bla <formalpara> <title>Theorem</title> <para>Bla bla</para> </formalpara> This would also only be a solution for single-paragraph things, as formalpara only allows one paragraph. Or a sidebar, but it's semantically very remote.
2020-08-31 00:39:37 +00:00
DocBookTag para
DocBookAttr role='proof'
Modularization of the AMS classes, and the theorem environments generally. This is Part I: The changes to the layout files and modules. Part II, still to come, will involve lyx2lyx to help people who were using the older classes. git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@22461 a592a061-630c-0410-9148-cb99ea01b6c8
2008-01-10 04:58:20 +00:00
End
Reference in New Issue Copy Permalink