/usr/share/lyx/layouts/theorems-proof-std.inc is in lyx-common 2.2.2-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | # Moved here by rgheck. Original author cloudy.
Format 60
#This is just a hacked version of the AMS proof environment
Style Proof
Preamble
\ifx\proof\undefined
\newenvironment{proof}[1][\protect\proofname]{\par
\normalfont\topsep6\p@\@plus6\p@\relax
\trivlist
\itemindent\parindent
\item[\hskip\labelsep\scshape #1]\ignorespaces
}{%
\endtrivlist\@endpefalse
}
\providecommand{\proofname}{Proof}
\fi
EndPreamble
# No LangPreamble or BabelPreamble, since babel knows \proofname already.
End
|